Mercurial > hg
annotate doc/style.css @ 50338:81c7d04f4722 stable
match: match explicit file using a set
The matcher as all the logic to do quick comparison against explicit patterns,
however the pattern matcher was shadowing the code using that set and used the
compiled regex pattern in all cases, which is quite slow. We restore the usage
of the set based matching to boost performance.
Building the regexp is still consuming a large amount of time (actually, the
majority of the time), which is still silly. Maybe using re2 would help that,
but this is a quest for another adventure.
Another path to improve this is to have a pattern type dedicated to match the
exact path to a file only (not a directory). This pattern could use the set
matching only and be skipped in the regex all together.
Benchmarks
==========
In the following benchmark we are comparing the `hg cat` and `hg files` run
time when matching against all files in the repository. They are
run:
- without the rust extensions
- with the standard python engine (so without re2)
Performance improvement in this series
--------------------------------------
###### hg files ###############################################################
### mercurial-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 0.230092 seconds
prev-changeset: 0.230069 seconds
this-changeset: 0.211425 seconds (-8.36%)
### mercurial-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 0.234235 seconds
prev-changeset: 0.231165 seconds (-1.38%)
this-changeset: 0.212300 seconds (-9.43%)
### pypy-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 0.613567 seconds
prev-changeset: 0.616799 seconds
this-changeset: 0.510852 seconds (-16.82%)
### pypy-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 0.801880 seconds
prev-changeset: 0.616393 seconds (-23.22%)
this-changeset: 0.511903 seconds (-36.23%)
### netbeans-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 21.541828 seconds
prev-changeset: 21.586773 seconds
this-changeset: 13.648347 seconds (-36.76%)
### netbeans-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 172.759857 seconds
prev-changeset: 21.908197 seconds (-87.32%)
this-changeset: 13.945110 seconds (-91.93%)
### mozilla-central-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 62.474221 seconds
prev-changeset: 61.279490 seconds (-1.22%)
this-changeset: 29.529469 seconds (-52.40%)
### mozilla-central-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 1364.180218 seconds
prev-changeset: 62.473549 seconds (-95.40%)
this-changeset: 30.625249 seconds (-97.75%)
###### hg cat #################################################################
### mercurial-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 0.764407 seconds
prev-changeset: 0.763883 seconds
this-changeset: 0.737326 seconds (-3.68%)
### mercurial-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 0.768924 seconds
prev-changeset: 0.765848 seconds
this-changeset: 0.174d0b seconds (-4.44%)
### pypy-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 2.065220 seconds
prev-changeset: 2.070498 seconds
this-changeset: 1.939482 seconds (-6.08%)
### pypy-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 2.276388 seconds
prev-changeset: 2.069197 seconds (-9.15%)
this-changeset: 1.931746 seconds (-15.19%)
### netbeans-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 40.967983 seconds
prev-changeset: 41.392423 seconds
this-changeset: 32.181681 seconds (-22.20%)
### netbeans-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 216.388709 seconds
prev-changeset: 41.648689 seconds (-80.88%)
this-changeset: 32.580817 seconds (-85.04%)
### mozilla-central-2018-08-01-zstd-sparse-revlog ### sorted
base-changeset: 105.228510 seconds
prev-changeset: 103.315670 seconds (-1.23%)
this-changeset: 69.416118 seconds (-33.64%)
### mozilla-central-2018-08-01-zstd-sparse-revlog ### shuffled
base-changeset: 1448.722784 seconds
prev-changeset: 104.369358 seconds (-92.80%)
this-changeset: 70.554789 seconds (-95.13%)
Different way to list the same data with this revision
------------------------------------------------------
###### hg files ###############################################################
### mercurial-2018-08-01-zstd-sparse-revlog
root: 0.119182 seconds
glob: 0.120697 seconds (+1.27%)
sorted: 0.211425 seconds (+77.40%)
shuffled: 0.212300 seconds (+78.13%)
### pypy-2018-08-01-zstd-sparse-revlog
root: 0.121986 seconds
glob: 0.124822 seconds (+2.32%)
sorted: 0.510852 seconds (+318.78%)
shuffled: 0.511903 seconds (+319.64%)
### netbeans-2018-08-01-zstd-sparse-revlog
root: 0.173984 seconds
glob: 0.227203 seconds (+30.59%)
sorted: 13.648347 seconds (+7744.59%)
shuffled: 13.945110 seconds (+7915.16%)
### mozilla-central-2018-08-01-zstd-sparse-revlog
root: 0.366463 seconds
glob: 0.491030 seconds (+33.99%)
sorted: 29.529469 seconds (+7957.96%)
shuffled: 30.625249 seconds (+8256.97%)
###### hg cat #################################################################
### mercurial-2018-08-01-zstd-sparse-revlog
glob: 0.647471 seconds
root: 0.643120 seconds
shuffled: 0.174d0b seconds (+13.92%)
sorted: 0.737326 seconds (+13.88%)
### mozilla-central-2018-08-01-zstd-sparse-revlog
glob: 40.596983 seconds
root: 40.129136 seconds
shuffled: 70.554789 seconds (+73.79%)
sorted: 69.416118 seconds (+70.99%)
### netbeans-2018-08-01-zstd-sparse-revlog
glob: 18.777924 seconds
root: 18.613905 seconds
shuffled: 32.580817 seconds (+73.51%)
sorted: 32.181681 seconds (+71.38%)
### pypy-2018-08-01-zstd-sparse-revlog
glob: 1.555319 seconds
root: 1.536534 seconds
shuffled: 1.931746 seconds (+24.20%)
sorted: 1.939482 seconds (+24.70%)
author | Pierre-Yves David <pierre-yves.david@octobus.net> |
---|---|
date | Sat, 01 Apr 2023 05:58:59 +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 } |