git: openjdk/mobile: 2 new changesets

[duke]

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

Changeset: 1406b92b
Author:    duke <duke at openjdk.org>
Date:      2020-11-27 15:32:26 +0000
URL:       https://git.openjdk.java.net/mobile/commit/1406b92b

Automatic merge of jdk:master into master