Mercurial > hg
annotate doc/style.css @ 9794:ec8533806e27
doc: styles for man page, which suit with the mercurial website
designed loosely based on:
http://mercurial.selenic.com/css/styles.css
with some modifications by intention:
* visited links are colored differently
* no fixed size
* works without typeface.js
we keep most styles, which is from docutils, untouched.
tested with:
* MSIE 6.0 on Windows
* Firefox 3.5 on Linux
author | Yuya Nishihara <yuya@tcha.org> |
---|---|
date | Mon, 09 Nov 2009 00:00:47 +0900 |
parents | d1aa5393bef4 |
children | 1ca6314205f3 |
rev | line source |
---|---|
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
1 /* |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
2 * Styles for man pages, which suit with http://mercurial.selenic.com/ |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
3 * |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
4 * Color scheme & layout are borrowed from |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
5 * http://mercurial.selenic.com/css/styles.css |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
6 * |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
7 * Some styles are from html4css1.css from Docutils, which is in the |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
8 * public domain. |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
9 */ |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
10 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
11 body { |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
12 margin: 0; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
13 padding: 0; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
14 font-family: sans-serif; |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
15 color: #111; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
16 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
17 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
18 .document { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
19 position: relative; /* be a top of absolute positioning */ |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
20 margin: 1.5em 1.8em; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
21 padding: 0; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
22 line-height: 1.3; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
23 } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
24 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
25 /* layout: toc to right */ |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
26 #contents { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
27 position: absolute; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
28 right: 0; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
29 top: 0; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
30 width: 26%; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
31 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
32 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
33 /* layout: others to left */ |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
34 h1.title, h2.subtitle, .section { width: 72%; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
35 .section .section { width: auto; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
36 table.docinfo { max-width: 72%; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
37 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
38 /* headings */ |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
39 h1, h2, .topic-title, .admonition-title { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
40 font-family: "MgOpen Cosmetica", "Lucida Sans Unicode", sans-serif; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
41 font-weight: normal; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
42 } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
43 h1, h2, .topic-title, .admonition-title { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
44 margin: 1em 0 0.5em; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
45 } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
46 h1.title { font-size: 300%; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
47 h2.subtitle, h1 { font-size: 200%; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
48 h2, .topic-title, .admonition-title { font-size: 140%; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
49 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
50 /* override first/last margin */ |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
51 .first, h1.title, h2.subtitle { margin-top: 0 !important; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
52 .last, .with-subtitle { margin-bottom: 0 !important; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
53 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
54 blockquote, pre, dd .option-list, .field-list { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
55 margin: 0.2em 0 1em 2em; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
56 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
57 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
58 kbd, tt, pre { font-family: monospace; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
59 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
60 dt { font-weight: bold; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
61 dd { margin-bottom: 0.5em; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
62 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
63 th, td { padding: 0.1em 0.2em; border: 0 none; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
64 th { font-weight: bold; text-align: left; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
65 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
66 a:link, a:visited { text-decoration: underline; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
67 a:hover, a:focus { text-decoration: none; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
68 a:link { color: #00b5f1; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
69 a:visited { color: #5c9caf; } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
70 a:link.toc-backref, a:visited.toc-backref { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
71 text-decoration: none; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
72 color: #111; /* `inherit' not supported by IE6 */ |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
73 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
74 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
75 div.admonition, div.attention, div.caution, |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
76 div.danger, div.error, div.hint, div.important, |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
77 div.note, div.tip, div.warning { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
78 border-top: 1px #ccc solid; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
79 border-bottom: 1px #ccc solid; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
80 padding: 0.3em 1em; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
81 margin: 1em; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
82 } |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
83 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
84 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
85 /* |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
86 * The following styles are from docutils'. |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
87 * Please refine if necessary. |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
88 */ |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
89 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
90 table.borderless td, table.borderless th { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
91 /* Override padding for "table.docutils td" with "! important". |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
92 The right padding separates the table cells. */ |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
93 padding: 0 0.5em 0 0 ! important; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
94 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
95 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
96 .hidden { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
97 display: none; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
98 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
99 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
100 blockquote.epigraph { |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
101 margin: 2em 5em; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
102 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
103 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
104 div.abstract { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
105 margin: 2em 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
106 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
107 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
108 div.dedication { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
109 margin: 2em 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
110 text-align: center; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
111 font-style: italic; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
112 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
113 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
114 div.figure { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
115 margin-left: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
116 margin-right: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
117 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
118 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
119 div.footer, div.header { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
120 clear: both; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
121 font-size: smaller; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
122 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
123 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
124 div.line-block { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
125 display: block; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
126 margin-top: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
127 margin-bottom: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
128 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
129 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
130 div.line-block div.line-block { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
131 margin-top: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
132 margin-bottom: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
133 margin-left: 1.5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
134 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
135 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
136 div.sidebar { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
137 margin: 0 0 0.5em 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
138 border: medium outset; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
139 padding: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
140 background-color: #ffffee; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
141 width: 40%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
142 float: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
143 clear: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
144 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
145 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
146 div.sidebar p.rubric { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
147 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
148 font-size: medium; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
149 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
150 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
151 div.system-messages { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
152 margin: 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
153 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
154 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
155 div.system-messages h1 { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
156 color: red; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
157 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
158 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
159 div.system-message { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
160 border: medium outset; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
161 padding: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
162 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
163 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
164 div.system-message p.system-message-title { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
165 color: red; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
166 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
167 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
168 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
169 h1.section-subtitle, h2.section-subtitle, h3.section-subtitle, |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
170 h4.section-subtitle, h5.section-subtitle, h6.section-subtitle { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
171 margin-top: 0.4em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
172 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
173 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
174 hr.docutils { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
175 width: 75%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
176 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
177 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
178 img.align-left { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
179 clear: left; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
180 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
181 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
182 img.align-right { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
183 clear: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
184 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
185 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
186 ol.simple, ul.simple { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
187 margin-bottom: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
188 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
189 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
190 ol.arabic { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
191 list-style: decimal; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
192 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
193 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
194 ol.loweralpha { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
195 list-style: lower-alpha; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
196 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
197 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
198 ol.upperalpha { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
199 list-style: upper-alpha; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
200 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
201 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
202 ol.lowerroman { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
203 list-style: lower-roman; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
204 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
205 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
206 ol.upperroman { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
207 list-style: upper-roman; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
208 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
209 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
210 p.attribution { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
211 text-align: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
212 margin-left: 50%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
213 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
214 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
215 p.caption { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
216 font-style: italic; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
217 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
218 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
219 p.credits { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
220 font-style: italic; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
221 font-size: smaller; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
222 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
223 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
224 p.label { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
225 white-space: nowrap; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
226 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
227 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
228 p.rubric { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
229 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
230 font-size: larger; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
231 color: maroon; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
232 text-align: center; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
233 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
234 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
235 pre.address { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
236 margin-bottom: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
237 margin-top: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
238 font-family: serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
239 font-size: 100%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
240 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
241 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
242 pre.literal-block, pre.doctest-block { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
243 margin-left: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
244 margin-right: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
245 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
246 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
247 span.classifier { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
248 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
249 font-style: oblique; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
250 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
251 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
252 span.classifier-delimiter { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
253 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
254 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
255 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
256 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
257 span.interpreted { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
258 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
259 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
260 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
261 span.option { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
262 white-space: nowrap; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
263 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
264 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
265 span.pre { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
266 white-space: pre; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
267 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
268 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
269 span.problematic { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
270 color: red; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
271 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
272 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
273 span.section-subtitle { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
274 /* font-size relative to parent (h1..h6 element) */ |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
275 font-size: 80%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
276 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
277 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
278 table.citation { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
279 border-left: solid 1px gray; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
280 margin-left: 1px; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
281 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
282 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
283 table.footnote { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
284 border-left: solid 1px black; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
285 margin-left: 1px; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
286 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
287 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
288 h1 tt.docutils, h2 tt.docutils, h3 tt.docutils, |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
289 h4 tt.docutils, h5 tt.docutils, h6 tt.docutils { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
290 font-size: 100%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
291 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
292 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
293 ul.auto-toc { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
294 list-style-type: none; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
295 } |