git: openjdk/jdk: 8248566: Make API docs more usable on mobile browsers

[Hannes Wallnöfer]

Changeset: 644271e7
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2020-11-27 15:31:56 +0000
URL:       https://git.openjdk.java.net/jdk/commit/644271e7

8248566: Make API docs more usable on mobile browsers

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/Navigation.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/Head.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
! test/langtools/jdk/javadoc/doclet/testCopyFiles/TestCopyFiles.java