3 text-decoration: underline;
17 font-family: 'Droid Sans Mono', sans-serif;
26 h1, h2, h3, h4, h5, h6 {
47 border: 1px solid silver;
58 /*ul > li { color: #aaa; }*/
59 /*ul > li > * { color: black; }*/
72 span#revnumber, span#revdate, span#revremark {
77 border-top: 2px solid silver;
82 padding-bottom: 0.5em;
86 padding-bottom: 0.5em;
93 div.tableblock, div.imageblock, div.exampleblock, div.verseblock,
94 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
101 margin-bottom: 2.0em;
106 div.content { /* Block element content. */
110 /* Block element titles. */
111 div.title, caption.title {
115 margin-bottom: 0.5em;
121 td div.title:first-child {
124 div.content div.title:first-child {
127 div.content + div.title {
131 div.sidebarblock > div.content {
132 border: 1px solid #dddddd;
133 border-left: 4px solid #f0f0f0;
137 div.listingblock > div.content {
138 border: 1px solid #555;
139 border-left: 5px solid #555;
145 div.quoteblock, div.verseblock {
149 border-left: 5px solid #f0f0f0;
153 div.quoteblock > div.attribution {
158 div.verseblock > pre.content {
159 font-family: inherit;
162 div.verseblock > div.attribution {
166 /* DEPRECATED: Pre version 8.2.7 verse style literal block. */
167 div.verseblock + div.attribution {
171 div.admonitionblock .icon {
175 text-decoration: underline;
177 padding-right: 0.5em;
179 div.admonitionblock td.content {
181 border-left: 3px solid #dddddd;
184 div.exampleblock > div.content {
185 border-left: 3px solid #dddddd;
189 div.imageblock div.content { padding-left: 0; }
190 span.image img { border-style: none; }
191 a.image:visited { color: white; }
195 margin-bottom: 0.8em;
208 list-style-position: outside;
211 list-style-type: decimal;
214 list-style-type: lower-alpha;
217 list-style-type: upper-alpha;
220 list-style-type: lower-roman;
223 list-style-type: upper-roman;
226 div.compact ul, div.compact ol,
227 div.compact p, div.compact p,
228 div.compact div, div.compact div {
230 margin-bottom: 0.1em;
233 div.tableblock > table {
234 border: 3px solid #3ec2ff;
236 thead, p.table.header {
249 /* Because the table frame attribute is overriden by CSS in most browsers. */
250 div.tableblock > table[frame="void"] {
253 div.tableblock > table[frame="hsides"] {
254 border-left-style: none;
255 border-right-style: none;
257 div.tableblock > table[frame="vsides"] {
258 border-top-style: none;
259 border-bottom-style: none;
265 margin-bottom: 0.8em;
268 padding-bottom: 15px;
270 dt.hdlist1.strong, td.hdlist1.strong {
276 padding-right: 0.8em;
282 div.hdlist.compact tr {
291 .footnote, .footnoteref {
295 span.footnote, span.footnoteref {
296 vertical-align: super;
300 margin: 20px 0 20px 0;
304 #footnotes div.footnote {
310 border-top: 1px solid silver;
319 padding-right: 0.5em;
320 padding-bottom: 0.3em;
328 div#footer-badges { display: none; }
332 margin-bottom: 2.5em;
340 margin-bottom: 0.1em;
343 div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
360 span.aqua { color: aqua; }
361 span.black { color: black; }
362 span.blue { color: blue; }
363 span.fuchsia { color: fuchsia; }
364 span.gray { color: gray; }
365 span.green { color: green; }
366 span.lime { color: lime; }
367 span.maroon { color: maroon; }
368 span.navy { color: navy; }
369 span.olive { color: olive; }
370 span.purple { color: purple; }
371 span.red { color: red; }
372 span.silver { color: silver; }
373 span.teal { color: teal; }
374 span.white { color: white; }
375 span.yellow { color: yellow; }
377 span.aqua-background { background: aqua; }
378 span.black-background { background: black; }
379 span.blue-background { background: blue; }
380 span.fuchsia-background { background: fuchsia; }
381 span.gray-background { background: gray; }
382 span.green-background { background: green; }
383 span.lime-background { background: lime; }
384 span.maroon-background { background: maroon; }
385 span.navy-background { background: navy; }
386 span.olive-background { background: olive; }
387 span.purple-background { background: purple; }
388 span.red-background { background: red; }
389 span.silver-background { background: silver; }
390 span.teal-background { background: teal; }
391 span.white-background { background: white; }
392 span.yellow-background { background: yellow; }
394 span.big { font-size: 2em; }
395 span.small { font-size: 0.6em; }
398 font-family: 'Droid Sans Mono';
401 src: local('Droid Sans Mono'), local('DroidSansMono'), url('/fonts/DroidSansMono.ttf') format('truetype');