changeset 57366:d87f6de9a63a

8235670: Javadoc pages not printing correctly in some browsers Reviewed-by: jjg, prappo
author hannesw
date Wed, 11 Dec 2019 16:13:59 +0100
parents a11adaddb8ab
children 5d477a977ce5
files src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
diffstat 1 files changed, 23 insertions(+), 13 deletions(-) [+]
line wrap: on
line diff
--- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	Wed Dec 11 16:09:49 2019 +0100
+++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	Wed Dec 11 16:13:59 2019 +0100
@@ -124,19 +124,21 @@
 /*
  * Styles for navigation bar.
  */
-.flexBox {
-    position:fixed;
-    display:flex;
-    flex-direction:column;
-    height: 100%;
-    width: 100%;
-}
-.flexHeader {
-    flex: 0 0 auto;
-}
-.flexContent {
-    flex: 1 1 auto;
-    overflow-y: auto;
+@media screen {
+    .flexBox {
+        position:fixed;
+        display:flex;
+        flex-direction:column;
+        height: 100%;
+        width: 100%;
+    }
+    .flexHeader {
+        flex: 0 0 auto;
+    }
+    .flexContent {
+        flex: 1 1 auto;
+        overflow-y: auto;
+    }
 }
 .topNav {
     background-color:#4D7A97;
@@ -227,6 +229,14 @@
     overflow:hidden;
 }
 /*
+ * Hide navigation links and search box in print layout
+ */
+@media print {
+    ul.navList, div.subNav  {
+        display:none;
+    }
+}
+/*
  * Styles for page header and footer.
  */
 .header {