8172753: Improve style of left-side index pages
authorjjg
Thu, 19 Jan 2017 14:35:16 -0800
changeset 43266 14e6159a2c17
parent 43265 4ec472ee5135
child 43267 81e70bde1b96
8172753: Improve style of left-side index pages Reviewed-by: bpatel
langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
--- a/langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	Thu Jan 19 13:16:19 2017 -0800
+++ b/langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css	Thu Jan 19 14:35:16 2017 -0800
@@ -250,17 +250,19 @@
     padding:5px 0 0 0;
 }
 .indexNav {
-    margin:10px;
     position:relative;
+    font-size:12px;
+    background-color:#dee3e9;
 }
 .indexNav ul {
-    padding:0;
-    margin:0;
+    margin-top:0;
+    padding:5px;
 }
 .indexNav ul li {
     display:inline;
     list-style-type:none;
     padding-right:10px;
+    text-transform:uppercase;
 }
 .indexNav h1 {
     font-size:13px;