Mercurial > hg
annotate doc/style.css @ 9811:c92ac5a56f69
buildrpm: enable to start the script from anywhere
Previously the script worked only from the hg root.
author | Gilles Moris <gilles.moris@free.fr> |
---|---|
date | Fri, 06 Nov 2009 09:35:38 +0100 |
parents | 0d65e191ac4c |
children | 42ced358cbba |
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 /* |
9808
0d65e191ac4c
doc: fix language in CSS comments (by timeless)
Martin Geisler <mg@lazybytes.net>
parents:
9798
diff
changeset
|
2 * Styles for man pages, which match with http://mercurial.selenic.com/ |
9794
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 |
9798
1ca6314205f3
doc: uppercase first letter in HTML man pages
Martin Geisler <mg@lazybytes.net>
parents:
9794
diff
changeset
|
50 /* subtitle starts with lowercase in man pages, but not in HTML */ |
1ca6314205f3
doc: uppercase first letter in HTML man pages
Martin Geisler <mg@lazybytes.net>
parents:
9794
diff
changeset
|
51 h2.subtitle:first-letter { text-transform: uppercase; } |
1ca6314205f3
doc: uppercase first letter in HTML man pages
Martin Geisler <mg@lazybytes.net>
parents:
9794
diff
changeset
|
52 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
53 /* 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
|
54 .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
|
55 .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
|
56 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
57 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
|
58 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
|
59 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
60 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
61 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
|
62 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
63 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
|
64 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
|
65 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
66 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
|
67 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
|
68 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
69 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
|
70 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
|
71 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
|
72 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
|
73 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
|
74 text-decoration: none; |
9808
0d65e191ac4c
doc: fix language in CSS comments (by timeless)
Martin Geisler <mg@lazybytes.net>
parents:
9798
diff
changeset
|
75 color: #111; /* `inherit' is not supported by IE6 */ |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
76 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
77 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
78 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
|
79 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
|
80 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
|
81 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
|
82 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
|
83 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
|
84 margin: 1em; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
85 } |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
86 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
87 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
88 /* |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
89 * 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
|
90 * 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
|
91 */ |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
92 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
93 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
|
94 /* 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
|
95 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
|
96 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
|
97 } |
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 .hidden { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
100 display: none; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
101 } |
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 blockquote.epigraph { |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
104 margin: 2em 5em; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
105 } |
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 div.abstract { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
108 margin: 2em 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
109 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
110 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
111 div.dedication { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
112 margin: 2em 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
113 text-align: center; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
114 font-style: italic; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
115 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
116 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
117 div.figure { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
118 margin-left: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
119 margin-right: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
120 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
121 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
122 div.footer, div.header { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
123 clear: both; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
124 font-size: smaller; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
125 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
126 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
127 div.line-block { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
128 display: block; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
129 margin-top: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
130 margin-bottom: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
131 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
132 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
133 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
|
134 margin-top: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
135 margin-bottom: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
136 margin-left: 1.5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
137 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
138 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
139 div.sidebar { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
140 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
|
141 border: medium outset; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
142 padding: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
143 background-color: #ffffee; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
144 width: 40%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
145 float: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
146 clear: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
147 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
148 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
149 div.sidebar p.rubric { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
150 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
151 font-size: medium; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
152 } |
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 div.system-messages { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
155 margin: 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
156 } |
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 div.system-messages h1 { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
159 color: red; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
160 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
161 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
162 div.system-message { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
163 border: medium outset; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
164 padding: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
165 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
166 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
167 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
|
168 color: red; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
169 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
170 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
171 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
172 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
|
173 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
|
174 margin-top: 0.4em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
175 } |
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 hr.docutils { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
178 width: 75%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
179 } |
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 img.align-left { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
182 clear: left; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
183 } |
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 img.align-right { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
186 clear: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
187 } |
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 ol.simple, ul.simple { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
190 margin-bottom: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
191 } |
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 ol.arabic { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
194 list-style: decimal; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
195 } |
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 ol.loweralpha { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
198 list-style: lower-alpha; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
199 } |
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 ol.upperalpha { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
202 list-style: upper-alpha; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
203 } |
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 ol.lowerroman { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
206 list-style: lower-roman; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
207 } |
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 ol.upperroman { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
210 list-style: upper-roman; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
211 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
212 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
213 p.attribution { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
214 text-align: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
215 margin-left: 50%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
216 } |
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 p.caption { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
219 font-style: italic; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
220 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
221 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
222 p.credits { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
223 font-style: italic; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
224 font-size: smaller; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
225 } |
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 p.label { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
228 white-space: nowrap; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
229 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
230 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
231 p.rubric { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
232 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
233 font-size: larger; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
234 color: maroon; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
235 text-align: center; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
236 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
237 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
238 pre.address { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
239 margin-bottom: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
240 margin-top: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
241 font-family: serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
242 font-size: 100%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
243 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
244 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
245 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
|
246 margin-left: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
247 margin-right: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
248 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
249 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
250 span.classifier { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
251 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
252 font-style: oblique; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
253 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
254 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
255 span.classifier-delimiter { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
256 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
257 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
258 } |
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 span.interpreted { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
261 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
262 } |
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 span.option { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
265 white-space: nowrap; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
266 } |
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 span.pre { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
269 white-space: pre; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
270 } |
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 span.problematic { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
273 color: red; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
274 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
275 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
276 span.section-subtitle { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
277 /* 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
|
278 font-size: 80%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
279 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
280 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
281 table.citation { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
282 border-left: solid 1px gray; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
283 margin-left: 1px; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
284 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
285 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
286 table.footnote { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
287 border-left: solid 1px black; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
288 margin-left: 1px; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
289 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
290 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
291 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
|
292 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
|
293 font-size: 100%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
294 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
295 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
296 ul.auto-toc { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
297 list-style-type: none; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
298 } |