changeset 1124:697b0761c30d

Let subsection menus match index style.
author zas_
date Mon, 10 Nov 2008 21:33:38 +0000
parents aeb8360c2e2c
children e09f504d7f11
files doc/style.css
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/style.css	Mon Nov 10 21:14:34 2008 +0000
+++ b/doc/style.css	Mon Nov 10 21:33:38 2008 +0000
@@ -126,7 +126,6 @@
 	font-weight: bold;
 }
 
-
 p.note {
 	font-style: italic;
 }
@@ -153,6 +152,11 @@
 	background: white;
 }
 
+.submenu li {
+	margin: 0.4em;
+	list-style-type: circle;
+}
+
 /* collections.html */
 div.collections-shortcuts {
 	text-align: center;
@@ -190,6 +194,7 @@
 	font-size: 110%;
 	font-weight: bold;
 	margin: 1em;
+	list-style-type: disc;
 }
 .menu ul li {
 	margin: 0.4em;
@@ -197,6 +202,7 @@
 .menu ul li ul {
 	font-size: 90%;
 	font-weight: normal;
+	list-style-type: circle;
 }
 
 /* reference_command_line.html */