Integrated: JDK-8275889: Search dialog has redundant scrollbars

[Hannes Wallnöfer]

On Mon, 20 Nov 2023 10:06:50 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a fix for multiple issues that caused a horizontal scrollbar to appear on the list of search results in JavaDoc-generated documentation even when not required by the list content. The problems are described in more detail in the JBS issue, but to summarize:
> 
>  - Our category headers contained horizontal padding which was added to the width of 100%. This is solved by adding `box-sizing: border-box` where necessary.
>  - The selected item is shown with a negative margin and positive border to work around a browser bug, which also caused horizontal overflow. This is solved by only applying the margin and border to the vertical axis.
> 
> For the second fix it was also necessary to change the order in which stylesheets are loaded in HTML files in order to be able to override declarations in the JQuery-UI stylesheet.
> 
> I also added a little bit of vertical padding to result list items as the list looked very crammed to me. Generated documentation (top-level files only) can be viewed at the URL below. Search results should not display a horizontal scrollbar unless required by the contents of the list.
> 
> https://cr.openjdk.org/~hannesw/8275889/api.00/

This pull request has now been integrated.

Changeset: 30d89538
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/30d895383eda37ba1475825a258feb0a15da1526
Stats:     26 lines in 3 files changed: 16 ins; 6 del; 4 mod

8275889: Search dialog has redundant scrollbars

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jdk/pull/16731