Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / asciidoc.css
1 /* Shared CSS for AsciiDoc xhtml11 and html5 backends */
2
3 /* Default font. */
4 body {
5 font-family: Georgia,serif;
6 }
7
8 /* Title font. */
9 h1, h2, h3, h4, h5, h6,
10 div.title, caption.title,
11 thead, p.table.header,
12 #toctitle,
13 #author, #revnumber, #revdate, #revremark,
14 #footer {
15 font-family: Arial,Helvetica,sans-serif;
16 }
17
18 body {
19 margin: 1em 5% 1em 5%;
20 }
21
22 a {
23 color: blue;
24 text-decoration: underline;
25 }
26 a:visited {
27 color: fuchsia;
28 }
29
30 em {
31 font-style: italic;
32 color: navy;
33 }
34
35 strong {
36 font-weight: bold;
37 color: #083194;
38 }
39
40 h1, h2, h3, h4, h5, h6 {
41 color: #527bbd;
42 margin-top: 1.2em;
43 margin-bottom: 0.5em;
44 line-height: 1.3;
45 }
46
47 h1, h2, h3 {
48 border-bottom: 2px solid silver;
49 }
50 h2 {
51 padding-top: 0.5em;
52 }
53 h3 {
54 float: left;
55 }
56 h3 + * {
57 clear: left;
58 }
59 h5 {
60 font-size: 1.0em;
61 }
62
63 div.sectionbody {
64 margin-left: 0;
65 }
66
67 hr {
68 border: 1px solid silver;
69 }
70
71 p {
72 margin-top: 0.5em;
73 margin-bottom: 0.5em;
74 }
75
76 ul, ol, li > p {
77 margin-top: 0;
78 }
79 ul > li { color: #aaa; }
80 ul > li > * { color: black; }
81
82 .monospaced, code, pre {
83 font-family: "Courier New", Courier, monospace;
84 font-size: inherit;
85 color: navy;
86 padding: 0;
87 margin: 0;
88 }
89 pre {
90 white-space: pre-wrap;
91 }
92
93 #author {
94 color: #527bbd;
95 font-weight: bold;
96 font-size: 1.1em;
97 }
98 #email {
99 }
100 #revnumber, #revdate, #revremark {
101 }
102
103 #footer {
104 font-size: small;
105 border-top: 2px solid silver;
106 padding-top: 0.5em;
107 margin-top: 4.0em;
108 }
109 #footer-text {
110 float: left;
111 padding-bottom: 0.5em;
112 }
113 #footer-badges {
114 float: right;
115 padding-bottom: 0.5em;
116 }
117
118 #preamble {
119 margin-top: 1.5em;
120 margin-bottom: 1.5em;
121 }
122 div.imageblock, div.exampleblock, div.verseblock,
123 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
124 div.admonitionblock {
125 margin-top: 1.0em;
126 margin-bottom: 1.5em;
127 }
128 div.admonitionblock {
129 margin-top: 2.0em;
130 margin-bottom: 2.0em;
131 margin-right: 10%;
132 color: #606060;
133 }
134
135 div.content { /* Block element content. */
136 padding: 0;
137 }
138
139 /* Block element titles. */
140 div.title, caption.title {
141 color: #527bbd;
142 font-weight: bold;
143 text-align: left;
144 margin-top: 1.0em;
145 margin-bottom: 0.5em;
146 }
147 div.title + * {
148 margin-top: 0;
149 }
150
151 td div.title:first-child {
152 margin-top: 0.0em;
153 }
154 div.content div.title:first-child {
155 margin-top: 0.0em;
156 }
157 div.content + div.title {
158 margin-top: 0.0em;
159 }
160
161 div.sidebarblock > div.content {
162 background: #ffffee;
163 border: 1px solid #dddddd;
164 border-left: 4px solid #f0f0f0;
165 padding: 0.5em;
166 }
167
168 div.listingblock > div.content {
169 border: 1px solid #dddddd;
170 border-left: 5px solid #f0f0f0;
171 background: #f8f8f8;
172 padding: 0.5em;
173 }
174
175 div.quoteblock, div.verseblock {
176 padding-left: 1.0em;
177 margin-left: 1.0em;
178 margin-right: 10%;
179 border-left: 5px solid #f0f0f0;
180 color: #888;
181 }
182
183 div.quoteblock > div.attribution {
184 padding-top: 0.5em;
185 text-align: right;
186 }
187
188 div.verseblock > pre.content {
189 font-family: inherit;
190 font-size: inherit;
191 }
192 div.verseblock > div.attribution {
193 padding-top: 0.75em;
194 text-align: left;
195 }
196 /* DEPRECATED: Pre version 8.2.7 verse style literal block. */
197 div.verseblock + div.attribution {
198 text-align: left;
199 }
200
201 div.admonitionblock .icon {
202 vertical-align: top;
203 font-size: 1.1em;
204 font-weight: bold;
205 text-decoration: underline;
206 color: #527bbd;
207 padding-right: 0.5em;
208 }
209 div.admonitionblock td.content {
210 padding-left: 0.5em;
211 border-left: 3px solid #dddddd;
212 }
213
214 div.exampleblock > div.content {
215 border-left: 3px solid #dddddd;
216 padding-left: 0.5em;
217 }
218
219 div.imageblock div.content { padding-left: 0; }
220 span.image img { border-style: none; vertical-align: text-bottom; }
221 a.image:visited { color: white; }
222
223 dl {
224 margin-top: 0.8em;
225 margin-bottom: 0.8em;
226 }
227 dt {
228 margin-top: 0.5em;
229 margin-bottom: 0;
230 font-style: normal;
231 color: navy;
232 }
233 dd > *:first-child {
234 margin-top: 0.1em;
235 }
236
237 ul, ol {
238 list-style-position: outside;
239 }
240 ol.arabic {
241 list-style-type: decimal;
242 }
243 ol.loweralpha {
244 list-style-type: lower-alpha;
245 }
246 ol.upperalpha {
247 list-style-type: upper-alpha;
248 }
249 ol.lowerroman {
250 list-style-type: lower-roman;
251 }
252 ol.upperroman {
253 list-style-type: upper-roman;
254 }
255
256 div.compact ul, div.compact ol,
257 div.compact p, div.compact p,
258 div.compact div, div.compact div {
259 margin-top: 0.1em;
260 margin-bottom: 0.1em;
261 }
262
263 tfoot {
264 font-weight: bold;
265 }
266 td > div.verse {
267 white-space: pre;
268 }
269
270 div.hdlist {
271 margin-top: 0.8em;
272 margin-bottom: 0.8em;
273 }
274 div.hdlist tr {
275 padding-bottom: 15px;
276 }
277 dt.hdlist1.strong, td.hdlist1.strong {
278 font-weight: bold;
279 }
280 td.hdlist1 {
281 vertical-align: top;
282 font-style: normal;
283 padding-right: 0.8em;
284 color: navy;
285 }
286 td.hdlist2 {
287 vertical-align: top;
288 }
289 div.hdlist.compact tr {
290 margin: 0;
291 padding-bottom: 0;
292 }
293
294 .comment {
295 background: yellow;
296 }
297
298 .footnote, .footnoteref {
299 font-size: 0.8em;
300 }
301
302 span.footnote, span.footnoteref {
303 vertical-align: super;
304 }
305
306 #footnotes {
307 margin: 20px 0 20px 0;
308 padding: 7px 0 0 0;
309 }
310
311 #footnotes div.footnote {
312 margin: 0 0 5px 0;
313 }
314
315 #footnotes hr {
316 border: none;
317 border-top: 1px solid silver;
318 height: 1px;
319 text-align: left;
320 margin-left: 0;
321 width: 20%;
322 min-width: 100px;
323 }
324
325 div.colist td {
326 padding-right: 0.5em;
327 padding-bottom: 0.3em;
328 vertical-align: top;
329 }
330 div.colist td img {
331 margin-top: 0.3em;
332 }
333
334 @media print {
335 #footer-badges { display: none; }
336 }
337
338 #toc {
339 margin-bottom: 2.5em;
340 }
341
342 #toctitle {
343 color: #527bbd;
344 font-size: 1.1em;
345 font-weight: bold;
346 margin-top: 1.0em;
347 margin-bottom: 0.1em;
348 }
349
350 div.toclevel0, div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
351 margin-top: 0;
352 margin-bottom: 0;
353 }
354 div.toclevel2 {
355 margin-left: 2em;
356 font-size: 0.9em;
357 }
358 div.toclevel3 {
359 margin-left: 4em;
360 font-size: 0.9em;
361 }
362 div.toclevel4 {
363 margin-left: 6em;
364 font-size: 0.9em;
365 }
366
367 span.aqua { color: aqua; }
368 span.black { color: black; }
369 span.blue { color: blue; }
370 span.fuchsia { color: fuchsia; }
371 span.gray { color: gray; }
372 span.green { color: green; }
373 span.lime { color: lime; }
374 span.maroon { color: maroon; }
375 span.navy { color: navy; }
376 span.olive { color: olive; }
377 span.purple { color: purple; }
378 span.red { color: red; }
379 span.silver { color: silver; }
380 span.teal { color: teal; }
381 span.white { color: white; }
382 span.yellow { color: yellow; }
383
384 span.aqua-background { background: aqua; }
385 span.black-background { background: black; }
386 span.blue-background { background: blue; }
387 span.fuchsia-background { background: fuchsia; }
388 span.gray-background { background: gray; }
389 span.green-background { background: green; }
390 span.lime-background { background: lime; }
391 span.maroon-background { background: maroon; }
392 span.navy-background { background: navy; }
393 span.olive-background { background: olive; }
394 span.purple-background { background: purple; }
395 span.red-background { background: red; }
396 span.silver-background { background: silver; }
397 span.teal-background { background: teal; }
398 span.white-background { background: white; }
399 span.yellow-background { background: yellow; }
400
401 span.big { font-size: 2em; }
402 span.small { font-size: 0.6em; }
403
404 span.underline { text-decoration: underline; }
405 span.overline { text-decoration: overline; }
406 span.line-through { text-decoration: line-through; }
407
408 div.unbreakable { page-break-inside: avoid; }
409
410
411 /*
412 * xhtml11 specific
413 *
414 * */
415
416 div.tableblock {
417 margin-top: 1.0em;
418 margin-bottom: 1.5em;
419 }
420 div.tableblock > table {
421 border: 3px solid #527bbd;
422 }
423 thead, p.table.header {
424 font-weight: bold;
425 color: #527bbd;
426 }
427 p.table {
428 margin-top: 0;
429 }
430 /* Because the table frame attribute is overriden by CSS in most browsers. */
431 div.tableblock > table[frame="void"] {
432 border-style: none;
433 }
434 div.tableblock > table[frame="hsides"] {
435 border-left-style: none;
436 border-right-style: none;
437 }
438 div.tableblock > table[frame="vsides"] {
439 border-top-style: none;
440 border-bottom-style: none;
441 }
442
443
444 /*
445 * html5 specific
446 *
447 * */
448
449 table.tableblock {
450 margin-top: 1.0em;
451 margin-bottom: 1.5em;
452 }
453 thead, p.tableblock.header {
454 font-weight: bold;
455 color: #527bbd;
456 }
457 p.tableblock {
458 margin-top: 0;
459 }
460 table.tableblock {
461 border-width: 3px;
462 border-spacing: 0px;
463 border-style: solid;
464 border-color: #527bbd;
465 border-collapse: collapse;
466 }
467 th.tableblock, td.tableblock {
468 border-width: 1px;
469 padding: 4px;
470 border-style: solid;
471 border-color: #527bbd;
472 }
473
474 table.tableblock.frame-topbot {
475 border-left-style: hidden;
476 border-right-style: hidden;
477 }
478 table.tableblock.frame-sides {
479 border-top-style: hidden;
480 border-bottom-style: hidden;
481 }
482 table.tableblock.frame-none {
483 border-style: hidden;
484 }
485
486 th.tableblock.halign-left, td.tableblock.halign-left {
487 text-align: left;
488 }
489 th.tableblock.halign-center, td.tableblock.halign-center {
490 text-align: center;
491 }
492 th.tableblock.halign-right, td.tableblock.halign-right {
493 text-align: right;
494 }
495
496 th.tableblock.valign-top, td.tableblock.valign-top {
497 vertical-align: top;
498 }
499 th.tableblock.valign-middle, td.tableblock.valign-middle {
500 vertical-align: middle;
501 }
502 th.tableblock.valign-bottom, td.tableblock.valign-bottom {
503 vertical-align: bottom;
504 }
505
506
507 /*
508 * manpage specific
509 *
510 * */
511
512 body.manpage h1 {
513 padding-top: 0.5em;
514 padding-bottom: 0.5em;
515 border-top: 2px solid silver;
516 border-bottom: 2px solid silver;
517 }
518 body.manpage h2 {
519 border-style: none;
520 }
521 body.manpage div.sectionbody {
522 margin-left: 3em;
523 }
524
525 @media print {
526 body.manpage div#toc { display: none; }
527 }