3 text-decoration: underline;
17 font-family: 'Droid Sans Mono', sans-serif;
26 h1, h2, h3, h4, h5, h6 {
46 border: 1px solid silver;
57 /*ul > li { color: #aaa; }*/
58 /*ul > li > * { color: black; }*/
71 span#revnumber, span#revdate, span#revremark {
76 border-top: 2px solid silver;
81 padding-bottom: 0.5em;
85 padding-bottom: 0.5em;
92 div.tableblock, div.imageblock, div.exampleblock, div.verseblock,
93 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
100 margin-bottom: 2.0em;
105 div.content { /* Block element content. */
109 /* Block element titles. */
110 div.title, caption.title {
114 margin-bottom: 0.5em;
120 td div.title:first-child {
123 div.content div.title:first-child {
126 div.content + div.title {
130 div.sidebarblock > div.content {
131 border: 1px solid #dddddd;
132 border-left: 4px solid #f0f0f0;
136 div.listingblock > div.content {
137 border: 1px solid #555;
138 border-left: 5px solid #555;
144 div.quoteblock, div.verseblock {
148 border-left: 5px solid #f0f0f0;
152 div.quoteblock > div.attribution {
157 div.verseblock > pre.content {
158 font-family: inherit;
161 div.verseblock > div.attribution {
165 /* DEPRECATED: Pre version 8.2.7 verse style literal block. */
166 div.verseblock + div.attribution {
170 div.admonitionblock .icon {
174 text-decoration: underline;
176 padding-right: 0.5em;
178 div.admonitionblock td.content {
180 border-left: 3px solid #dddddd;
183 div.exampleblock > div.content {
184 border-left: 3px solid #dddddd;
188 div.imageblock div.content { padding-left: 0; }
189 span.image img { border-style: none; }
190 a.image:visited { color: white; }
194 margin-bottom: 0.8em;
207 list-style-position: outside;
210 list-style-type: decimal;
213 list-style-type: lower-alpha;
216 list-style-type: upper-alpha;
219 list-style-type: lower-roman;
222 list-style-type: upper-roman;
225 div.compact ul, div.compact ol,
226 div.compact p, div.compact p,
227 div.compact div, div.compact div {
229 margin-bottom: 0.1em;
232 div.tableblock > table {
233 border: 3px solid #3ec2ff;
235 thead, p.table.header {
248 /* Because the table frame attribute is overriden by CSS in most browsers. */
249 div.tableblock > table[frame="void"] {
252 div.tableblock > table[frame="hsides"] {
253 border-left-style: none;
254 border-right-style: none;
256 div.tableblock > table[frame="vsides"] {
257 border-top-style: none;
258 border-bottom-style: none;
264 margin-bottom: 0.8em;
267 padding-bottom: 15px;
269 dt.hdlist1.strong, td.hdlist1.strong {
275 padding-right: 0.8em;
281 div.hdlist.compact tr {
290 .footnote, .footnoteref {
294 span.footnote, span.footnoteref {
295 vertical-align: super;
299 margin: 20px 0 20px 0;
303 #footnotes div.footnote {
309 border-top: 1px solid silver;
318 padding-right: 0.5em;
319 padding-bottom: 0.3em;
327 div#footer-badges { display: none; }
331 margin-bottom: 2.5em;
339 margin-bottom: 0.1em;
342 div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
359 span.aqua { color: aqua; }
360 span.black { color: black; }
361 span.blue { color: blue; }
362 span.fuchsia { color: fuchsia; }
363 span.gray { color: gray; }
364 span.green { color: green; }
365 span.lime { color: lime; }
366 span.maroon { color: maroon; }
367 span.navy { color: navy; }
368 span.olive { color: olive; }
369 span.purple { color: purple; }
370 span.red { color: red; }
371 span.silver { color: silver; }
372 span.teal { color: teal; }
373 span.white { color: white; }
374 span.yellow { color: yellow; }
376 span.aqua-background { background: aqua; }
377 span.black-background { background: black; }
378 span.blue-background { background: blue; }
379 span.fuchsia-background { background: fuchsia; }
380 span.gray-background { background: gray; }
381 span.green-background { background: green; }
382 span.lime-background { background: lime; }
383 span.maroon-background { background: maroon; }
384 span.navy-background { background: navy; }
385 span.olive-background { background: olive; }
386 span.purple-background { background: purple; }
387 span.red-background { background: red; }
388 span.silver-background { background: silver; }
389 span.teal-background { background: teal; }
390 span.white-background { background: white; }
391 span.yellow-background { background: yellow; }
393 span.big { font-size: 2em; }
394 span.small { font-size: 0.6em; }
397 font-family: 'Droid Sans Mono';
400 src: local('Droid Sans Mono'), local('DroidSansMono'), url('/fonts/DroidSansMono.ttf') format('truetype');