comparison doc/style.css @ 1124:697b0761c30d

Let subsection menus match index style.
author zas_
date Mon, 10 Nov 2008 21:33:38 +0000
parents aeb8360c2e2c
children e09f504d7f11
comparison
equal deleted inserted replaced
1123:aeb8360c2e2c 1124:697b0761c30d
124 124
125 thead { 125 thead {
126 font-weight: bold; 126 font-weight: bold;
127 } 127 }
128 128
129
130 p.note { 129 p.note {
131 font-style: italic; 130 font-style: italic;
132 } 131 }
133 .note em { 132 .note em {
134 font-weight: bold; 133 font-weight: bold;
151 margin-left: 0.3em; 150 margin-left: 0.3em;
152 padding: 0.1em; 151 padding: 0.1em;
153 background: white; 152 background: white;
154 } 153 }
155 154
155 .submenu li {
156 margin: 0.4em;
157 list-style-type: circle;
158 }
159
156 /* collections.html */ 160 /* collections.html */
157 div.collections-shortcuts { 161 div.collections-shortcuts {
158 text-align: center; 162 text-align: center;
159 } 163 }
160 .collections-shortcuts p { 164 .collections-shortcuts p {
188 /* index.html */ 192 /* index.html */
189 .menu ul { 193 .menu ul {
190 font-size: 110%; 194 font-size: 110%;
191 font-weight: bold; 195 font-weight: bold;
192 margin: 1em; 196 margin: 1em;
197 list-style-type: disc;
193 } 198 }
194 .menu ul li { 199 .menu ul li {
195 margin: 0.4em; 200 margin: 0.4em;
196 } 201 }
197 .menu ul li ul { 202 .menu ul li ul {
198 font-size: 90%; 203 font-size: 90%;
199 font-weight: normal; 204 font-weight: normal;
205 list-style-type: circle;
200 } 206 }
201 207
202 /* reference_command_line.html */ 208 /* reference_command_line.html */
203 .command_line_options p { 209 .command_line_options p {
204 margin: 0.1em; 210 margin: 0.1em;