RFR: JDK-8248566: Make API docs more usable on mobile browsers

[Jonathan Gibbons]

On Mon, 2 Nov 2020 14:41:15 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> The purpose of this change is to make javadoc generated pages more usable on devices with smaller screens such as phones and tablets. Changes are mostly in `stylesheet.css` along with a few small changes in generated HTML pages.
> 
>  - A `viewport` meta tag is added to every page to tell browsers that the page is optimized for small screens and shouldn't be rendered using desktop dimensions and scaled down to actual browser size.
>  - The right-floating `about-language` element is moved forward before the list of main navigation links, and the display style of that list is changed to `block`. This allows the navigation links to wrap around the `about-language` div when space gets tight. Also, navigation `height` entries are changed to `min-height` so they can grow when broken to more than one line.
>  - Media queries are added to slightly shrink various page components for smaller browser widths. This includes the search input, navigation bar fonts and various spacings within the page. 
> 
> API docs rendered with this change can be viewed here (overview and java.base module pages only):
> 
> http://cr.openjdk.java.net/~hannesw/8248566/api.02/
> 
> The page should look the same as before the change when viewed in a normal-sized desktop browser. The changes should be visible when resizing the browser window, viewing the page with a mobile browser emulator (available in developer tools of various desktop browsers) or viewing the page on a mobile device.

Nice! I like the interaction with the recent changes to table and grid layout.

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

Marked as reviewed by jjg (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/1008