annotate doc/style.css @ 10050:dd37f044f1fa

win32mbcs: Add configuration to specify path encoding Add win32mbcs.encoding configuration option to specify the encoding to use instead of encoding.encoding. This option is useful for the users who want to write UTF-8 log message on non UTF-8 path encoding environment.
author Shun-ichi GOTO <shunichi.goto@gmail.com>
date Mon, 07 Dec 2009 19:18:03 +0900
parents 916cf1e7b39f
children 6dc3d3cd729b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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;
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 }