Let subsection menus match index style.

diff --git a/doc/style.css b/doc/style.css
index cdf2847..25934b4 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -126,7 +126,6 @@ thead {
        font-weight: bold;
 }
 
-
 p.note {
        font-style: italic;
 }
@@ -153,6 +152,11 @@ code {
        background: white;
 }
 
+.submenu li {
+       margin: 0.4em;
+       list-style-type: circle;
+}
+
 /* collections.html */
 div.collections-shortcuts {
        text-align: center;
@@ -190,6 +194,7 @@ div.search-shortcuts {
        font-size: 110%;
        font-weight: bold;
        margin: 1em;
+       list-style-type: disc;
 }
 .menu ul li {
        margin: 0.4em;
@@ -197,6 +202,7 @@ div.search-shortcuts {
 .menu ul li ul {
        font-size: 90%;
        font-weight: normal;
+       list-style-type: circle;
 }
 
 /* reference_command_line.html */