changeset 55631:a8564226f446

8219733: Restore javadoc header styles Reviewed-by: jjg
author hannesw
date Mon, 01 Apr 2019 16:49:34 +0200
parents 62e87f00e420
children 72b637d53318
files src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
diffstat 1 files changed, 10 insertions(+), 29 deletions(-) [+]
line wrap: on
line diff
--- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	Mon Apr 01 16:30:23 2019 +0200
+++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	Mon Apr 01 16:49:34 2019 +0200
@@ -59,7 +59,6 @@
 }
 h3 {
     font-size:16px;
-    font-style:italic;
 }
 h4 {
     font-size:13px;
@@ -296,32 +295,21 @@
 /*
  * Styles for headings.
  */
-div.details ul.blockList ul.blockList ul.blockList li.blockList h3,
-div.details ul.blockList ul.blockList ul.blockListLast li.blockList h3,
-div.serializedFormContainer ul.blockList ul.blockList ul.blockList li.blockList h4 {
+body.class-declaration .summary h2,
+body.class-declaration .details h2,
+body.class-use h2,
+body.module-declaration .blockList h2 {
+    font-style: italic;
+    padding:0;
+    margin:15px 0;
+}
+body.class-declaration .summary h3,
+body.class-declaration .details h3 {
     background-color:#dee3e9;
     border:1px solid #d0d9e0;
     margin:0 0 6px -8px;
     padding:7px 5px;
 }
-div.details h2,
-div.summary h2 {
-    font-style: italic;
-}
-div.details h3,
-div.summary h3 {
-    font-style: normal;
-}
-ul.blockList ul.blockList ul.blockList li.blockList h2 {
-    background-color:#dee3e9;
-    border:1px solid #d0d9e0;
-    margin:0 0 6px -8px;
-    padding:7px 5px;
-}
-ul.blockList ul.blockList li.blockList h2 {
-    padding:0;
-    margin:15px 0;
-}
 /*
  * Styles for page layout containers.
  */
@@ -604,10 +592,6 @@
 .docSummary {
     padding:0;
 }
-ul.blockList ul.blockList ul.blockList li.blockList h3,
-ul.blockList ul.blockList ul.blockListLast li.blockList h3 {
-    font-style:normal;
-}
 div.block {
     font-size:14px;
     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
@@ -659,9 +643,6 @@
 div.block div.block span.interfaceName {
     font-style:normal;
 }
-div.contentContainer ul.blockList li.blockList h2 {
-    padding-bottom:0px;
-}
 /*
  * Styles for IFRAME.
  */