3 text-decoration: underline;
20 font-family: 'Droid Sans Mono', sans-serif;
29 h1, h2, h3, h4, h5, h6 {
49 border: 1px solid silver;
60 /*ul > li { color: #aaa; }*/
61 /*ul > li > * { color: black; }*/
74 span#revnumber, span#revdate, span#revremark {
79 border-top: 2px solid silver;
84 padding-bottom: 0.5em;
88 padding-bottom: 0.5em;
95 div.tableblock, div.imageblock, div.exampleblock, div.verseblock,
96 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
101 div.admonitionblock {
103 margin-bottom: 2.0em;
108 div.content { /* Block element content. */
112 /* Block element titles. */
113 div.title, caption.title {
117 margin-bottom: 0.5em;
123 td div.title:first-child {
126 div.content div.title:first-child {
129 div.content + div.title {
133 div.sidebarblock > div.content {
134 border: 1px solid #dddddd;
135 border-left: 4px solid #f0f0f0;
139 div.listingblock > div.content {
140 border: 1px solid #dddddd;
141 border-left: 5px solid #f0f0f0;
146 div.quoteblock, div.verseblock {
150 border-left: 5px solid #f0f0f0;
154 div.quoteblock > div.attribution {
159 div.verseblock > pre.content {
160 font-family: inherit;
163 div.verseblock > div.attribution {
167 /* DEPRECATED: Pre version 8.2.7 verse style literal block. */
168 div.verseblock + div.attribution {
172 div.admonitionblock .icon {
176 text-decoration: underline;
178 padding-right: 0.5em;
180 div.admonitionblock td.content {
182 border-left: 3px solid #dddddd;
185 div.exampleblock > div.content {
186 border-left: 3px solid #dddddd;
190 div.imageblock div.content { padding-left: 0; }
191 span.image img { border-style: none; }
192 a.image:visited { color: white; }
196 margin-bottom: 0.8em;
209 list-style-position: outside;
212 list-style-type: decimal;
215 list-style-type: lower-alpha;
218 list-style-type: upper-alpha;
221 list-style-type: lower-roman;
224 list-style-type: upper-roman;
227 div.compact ul, div.compact ol,
228 div.compact p, div.compact p,
229 div.compact div, div.compact div {
231 margin-bottom: 0.1em;
234 div.tableblock > table {
235 border: 3px solid #3ec2ff;
237 thead, p.table.header {
250 /* Because the table frame attribute is overriden by CSS in most browsers. */
251 div.tableblock > table[frame="void"] {
254 div.tableblock > table[frame="hsides"] {
255 border-left-style: none;
256 border-right-style: none;
258 div.tableblock > table[frame="vsides"] {
259 border-top-style: none;
260 border-bottom-style: none;
266 margin-bottom: 0.8em;
269 padding-bottom: 15px;
271 dt.hdlist1.strong, td.hdlist1.strong {
277 padding-right: 0.8em;
283 div.hdlist.compact tr {
292 .footnote, .footnoteref {
296 span.footnote, span.footnoteref {
297 vertical-align: super;
301 margin: 20px 0 20px 0;
305 #footnotes div.footnote {
311 border-top: 1px solid silver;
320 padding-right: 0.5em;
321 padding-bottom: 0.3em;
329 div#footer-badges { display: none; }
333 margin-bottom: 2.5em;
341 margin-bottom: 0.1em;
344 div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
361 span.aqua { color: aqua; }
362 span.black { color: black; }
363 span.blue { color: blue; }
364 span.fuchsia { color: fuchsia; }
365 span.gray { color: gray; }
366 span.green { color: green; }
367 span.lime { color: lime; }
368 span.maroon { color: maroon; }
369 span.navy { color: navy; }
370 span.olive { color: olive; }
371 span.purple { color: purple; }
372 span.red { color: red; }
373 span.silver { color: silver; }
374 span.teal { color: teal; }
375 span.white { color: white; }
376 span.yellow { color: yellow; }
378 span.aqua-background { background: aqua; }
379 span.black-background { background: black; }
380 span.blue-background { background: blue; }
381 span.fuchsia-background { background: fuchsia; }
382 span.gray-background { background: gray; }
383 span.green-background { background: green; }
384 span.lime-background { background: lime; }
385 span.maroon-background { background: maroon; }
386 span.navy-background { background: navy; }
387 span.olive-background { background: olive; }
388 span.purple-background { background: purple; }
389 span.red-background { background: red; }
390 span.silver-background { background: silver; }
391 span.teal-background { background: teal; }
392 span.white-background { background: white; }
393 span.yellow-background { background: yellow; }
395 span.big { font-size: 2em; }
396 span.small { font-size: 0.6em; }
399 font-family: 'Droid Sans Mono';
402 src: local('Droid Sans Mono'), local('DroidSansMono'), url('/fonts/DroidSansMono.ttf') format('truetype');