doc/style.css
author Manuel Jacob <me@manueljacob.de>
Mon, 11 Jul 2022 01:51:20 +0200
branchstable
changeset 49378 094a5fa3cf52
parent 26421 4b0fc75f9403
permissions -rw-r--r--
procutil: make stream detection in make_line_buffered more correct and strict In make_line_buffered(), we don’t want to wrap the stream if we know that lines get flushed to the underlying raw stream already. Previously, the heuristic was too optimistic. It assumed that any stream which is not an instance of io.BufferedIOBase doesn’t need wrapping. However, there are buffered streams that aren’t instances of io.BufferedIOBase, like Mercurial’s own winstdout. The new logic is different in two ways: First, only for the check, if unwraps any combination of WriteAllWrapper and winstdout. Second, it skips wrapping the stream only if it is an instance of io.RawIOBase (or already wrapped). If it is an instance of io.BufferedIOBase, it gets wrapped. In any other case, the function raises an exception. This ensures that, if an unknown stream is passed or we add another wrapper in the future, we don’t wrap the stream if it’s already line buffered or not wrap the stream if it’s not line buffered. In fact, this was already helpful during development of this change. Without it, I possibly would have forgot that WriteAllWrapper needs to be ignored for the check, leading to unnecessary wrapping if stdout is unbuffered. The alternative would have been to always wrap unknown streams. However, I don’t think that anyone would benefit from being less strict. We can expect streams from the standard library to be subclassing either io.RawIOBase or io.BufferedIOBase, so running Mercurial in the standard way should not regress by this change. Py2exe might replace sys.stdout and sys.stderr, but that currently breaks Mercurial anyway and also these streams don’t claim to be interactive, so this function is not called for them.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
}