annotate doc/style.css @ 44795:059c99af141d

nodemap: move the option for mmap usage to storage.revlog.nodemap.mmap The option is stay experimental as long as the main feature is. Differential Revision: https://phab.mercurial-scm.org/D8421
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Tue, 14 Apr 2020 03:20:21 +0200
parents 4b0fc75f9403
children
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 /*
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 }