stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8235670: Javadoc pages not printing correctly in some browsers

Browse Source 
Reviewed-by: jjg, prappo
This commit is contained in:
Hannes Wallnöfer 2019-12-11 16:13:59 +01:00
parent a1b0802caf
commit 9b1498c20e
1 changed files with 23 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
View File

@ -124,6 +124,7 @@ button {
/* /*
* Styles for navigation bar. * Styles for navigation bar.
*/ */
@media screen {
.flexBox { .flexBox {
position:fixed; position:fixed;
display:flex; display:flex;
@ -138,6 +139,7 @@ button {
flex: 1 1 auto; flex: 1 1 auto;
overflow-y: auto; overflow-y: auto;
} }
}
.topNav { .topNav {
background-color:#4D7A97; background-color:#4D7A97;
color:#FFFFFF; color:#FFFFFF;
@ -226,6 +228,14 @@ ul.subNavList li {
left:-9999px; left:-9999px;
overflow:hidden; 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. * Styles for page header and footer.
*/ */