Mercurial > hg
annotate doc/style.css @ 52317:0b708a375490 default tip
tests: use PYTHONSAFEPATH (-P) to check mercurial lib path
author | paugier <pierre.augier@univ-grenoble-alpes.fr> |
---|---|
date | Mon, 21 Oct 2024 23:10:37 +0200 |
parents | 4b0fc75f9403 |
children |
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 /* |
26421
4b0fc75f9403
urls: bulk-change primary website URLs
Matt Mackall <mpm@selenic.com>
parents:
19023
diff
changeset
|
2 * Styles for man pages, which match with https://mercurial-scm.org/ |
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 |
26421
4b0fc75f9403
urls: bulk-change primary website URLs
Matt Mackall <mpm@selenic.com>
parents:
19023
diff
changeset
|
5 * https://mercurial-scm.org/css/styles.css |
9794
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; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
15 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
16 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
17 .document { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
18 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
|
19 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
|
20 padding: 0; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
21 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
|
22 } |
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 /* 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
|
25 #contents { |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
26 position: absolute; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
27 right: 0; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
28 top: 0; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
29 width: 26%; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
30 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
31 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
32 /* 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
|
33 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
|
34 .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
|
35 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
|
36 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
37 /* headings */ |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
38 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
|
39 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
|
40 font-weight: normal; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
41 } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
42 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
|
43 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
|
44 } |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
45 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
|
46 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
|
47 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
|
48 |
9798
1ca6314205f3
doc: uppercase first letter in HTML man pages
Martin Geisler <mg@lazybytes.net>
parents:
9794
diff
changeset
|
49 /* 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
|
50 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
|
51 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
52 /* 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
|
53 .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
|
54 .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
|
55 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
56 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
|
57 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
|
58 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
59 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
60 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
|
61 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
62 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
|
63 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
|
64 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
65 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
|
66 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
|
67 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
68 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
|
69 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
|
70 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
|
71 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
|
72 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
|
73 text-decoration: none; |
9832
42ced358cbba
doc/style: use default font color specified by user
Yuya Nishihara <yuya@tcha.org>
parents:
9808
diff
changeset
|
74 color: inherit; /* NOTE: `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
|
75 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
76 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
77 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
|
78 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
|
79 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
|
80 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
|
81 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
|
82 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
|
83 margin: 1em; |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
84 } |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
85 |
9836
916cf1e7b39f
doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents:
9833
diff
changeset
|
86 div.note { |
916cf1e7b39f
doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents:
9833
diff
changeset
|
87 border-color: #fcc200; |
916cf1e7b39f
doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents:
9833
diff
changeset
|
88 } |
916cf1e7b39f
doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents:
9833
diff
changeset
|
89 |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
90 |
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
91 /* |
9833
5e936f248501
doc/style: fix typo in comment (by timeless)
Martin Geisler <mg@lazybytes.net>
parents:
9832
diff
changeset
|
92 * The following styles are from Docutils. |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
93 * 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
|
94 */ |
9626
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 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
|
97 /* 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
|
98 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
|
99 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
|
100 } |
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 .hidden { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
103 display: none; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
104 } |
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 blockquote.epigraph { |
9794
ec8533806e27
doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents:
9626
diff
changeset
|
107 margin: 2em 5em; |
9626
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
108 } |
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 div.abstract { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
111 margin: 2em 5em; |
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.dedication { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
115 margin: 2em 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
116 text-align: center; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
117 font-style: italic; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
120 div.figure { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
121 margin-left: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
122 margin-right: 2em; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
125 div.footer, div.header { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
126 clear: both; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
127 font-size: smaller; |
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 { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
131 display: block; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
132 margin-top: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
133 margin-bottom: 1em; |
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.line-block div.line-block { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
137 margin-top: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
138 margin-bottom: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
139 margin-left: 1.5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
140 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
141 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
142 div.sidebar { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
143 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
|
144 border: medium outset; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
145 padding: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
146 background-color: #ffffee; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
147 width: 40%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
148 float: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
149 clear: right; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
152 div.sidebar p.rubric { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
153 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
154 font-size: medium; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
155 } |
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 div.system-messages { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
158 margin: 5em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
159 } |
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 div.system-messages h1 { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
162 color: red; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
165 div.system-message { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
166 border: medium outset; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
167 padding: 1em; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
170 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
|
171 color: red; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
172 font-weight: bold; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
175 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
|
176 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
|
177 margin-top: 0.4em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
178 } |
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 hr.docutils { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
181 width: 75%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
182 } |
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 img.align-left { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
185 clear: left; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
186 } |
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 img.align-right { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
189 clear: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
190 } |
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 ol.simple, ul.simple { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
193 margin-bottom: 1em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
194 } |
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 ol.arabic { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
197 list-style: decimal; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
198 } |
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 ol.loweralpha { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
201 list-style: lower-alpha; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
202 } |
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 ol.upperalpha { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
205 list-style: upper-alpha; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
206 } |
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 ol.lowerroman { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
209 list-style: lower-roman; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
210 } |
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 ol.upperroman { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
213 list-style: upper-roman; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
216 p.attribution { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
217 text-align: right; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
218 margin-left: 50%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
219 } |
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 p.caption { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
222 font-style: italic; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
225 p.credits { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
226 font-style: italic; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
227 font-size: smaller; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
228 } |
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 p.label { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
231 white-space: nowrap; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
232 } |
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 p.rubric { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
235 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
236 font-size: larger; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
237 color: maroon; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
238 text-align: center; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
239 } |
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 pre.address { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
242 margin-bottom: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
243 margin-top: 0; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
244 font-family: serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
245 font-size: 100%; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
248 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
|
249 margin-left: 2em; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
250 margin-right: 2em; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
253 span.classifier { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
254 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
255 font-style: oblique; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
258 span.classifier-delimiter { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
259 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
260 font-weight: bold; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
261 } |
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 span.interpreted { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
264 font-family: sans-serif; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
265 } |
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 span.option { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
268 white-space: nowrap; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
269 } |
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 span.pre { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
272 white-space: pre; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
273 } |
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 span.problematic { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
276 color: red; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
279 span.section-subtitle { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
280 /* 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
|
281 font-size: 80%; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
284 table.citation { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
285 border-left: solid 1px gray; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
286 margin-left: 1px; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
289 table.footnote { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
290 border-left: solid 1px black; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
291 margin-left: 1px; |
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 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
294 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
|
295 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
|
296 font-size: 100%; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
297 } |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
298 |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
299 ul.auto-toc { |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
300 list-style-type: none; |
d1aa5393bef4
doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff
changeset
|
301 } |
12782
6dc3d3cd729b
gendoc: added styling for extension TOC
Erik Zielke <ez@aragost.com>
parents:
9836
diff
changeset
|
302 |
6dc3d3cd729b
gendoc: added styling for extension TOC
Erik Zielke <ez@aragost.com>
parents:
9836
diff
changeset
|
303 div.contents.local { |
6dc3d3cd729b
gendoc: added styling for extension TOC
Erik Zielke <ez@aragost.com>
parents:
9836
diff
changeset
|
304 -moz-column-width: 10em; |
6dc3d3cd729b
gendoc: added styling for extension TOC
Erik Zielke <ez@aragost.com>
parents:
9836
diff
changeset
|
305 -moz-column-gap: 1em; |
19023
86531a7038ed
codingstyle: remove trailing spaces in various text files
Mads Kiilerich <madski@unity3d.com>
parents:
12782
diff
changeset
|
306 |
12782
6dc3d3cd729b
gendoc: added styling for extension TOC
Erik Zielke <ez@aragost.com>
parents:
9836
diff
changeset
|
307 -webkit-column-width: 10em; |
6dc3d3cd729b
gendoc: added styling for extension TOC
Erik Zielke <ez@aragost.com>
parents:
9836
diff
changeset
|
308 -webkit-column-gap: 1em; |
6dc3d3cd729b
gendoc: added styling for extension TOC
Erik Zielke <ez@aragost.com>
parents:
9836
diff
changeset
|
309 } |