doc/style.css
author Matt Mackall <mpm@selenic.com>
Mon, 05 Apr 2010 14:33:41 -0500
changeset 10840 9258228639ad
parent 9836 916cf1e7b39f
child 12782 6dc3d3cd729b
permissions -rw-r--r--
contrib: drop git-viz
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
/*
9808
0d65e191ac4c doc: fix language in CSS comments (by timeless)
Martin Geisler <mg@lazybytes.net>
parents: 9798
diff changeset
     2
 * Styles for man pages, which match with http://mercurial.selenic.com/
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
     3
 *
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
     4
 * Color scheme & layout are borrowed from
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
     5
 * http://mercurial.selenic.com/css/styles.css
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
     6
 *
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
     7
 * Some styles are from html4css1.css from Docutils, which is in the
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
     8
 * public domain.
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
     9
 */
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    10
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    11
body {
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    12
    margin: 0;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    13
    padding: 0;
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    14
    font-family: sans-serif;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    15
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    16
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    17
.document {
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    18
    position: relative;  /* be a top of absolute positioning */
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    19
    margin: 1.5em 1.8em;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    20
    padding: 0;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    21
    line-height: 1.3;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    22
}
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    23
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    24
/* layout: toc to right */
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    25
#contents {
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    26
    position: absolute;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    27
    right: 0;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    28
    top: 0;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    29
    width: 26%;
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    30
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    31
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    32
/* layout: others to left */
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    33
h1.title, h2.subtitle, .section { width: 72%; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    34
.section .section { width: auto; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    35
table.docinfo { max-width: 72%; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    36
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    37
/* headings */
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    38
h1, h2, .topic-title, .admonition-title {
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    39
    font-family: "MgOpen Cosmetica", "Lucida Sans Unicode", sans-serif;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    40
    font-weight: normal;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    41
}
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    42
h1, h2, .topic-title, .admonition-title {
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    43
    margin: 1em 0 0.5em;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    44
}
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    45
h1.title { font-size: 300%; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    46
h2.subtitle, h1 { font-size: 200%; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    47
h2, .topic-title, .admonition-title { font-size: 140%; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    48
9798
1ca6314205f3 doc: uppercase first letter in HTML man pages
Martin Geisler <mg@lazybytes.net>
parents: 9794
diff changeset
    49
/* subtitle starts with lowercase in man pages, but not in HTML */
1ca6314205f3 doc: uppercase first letter in HTML man pages
Martin Geisler <mg@lazybytes.net>
parents: 9794
diff changeset
    50
h2.subtitle:first-letter { text-transform: uppercase; }
1ca6314205f3 doc: uppercase first letter in HTML man pages
Martin Geisler <mg@lazybytes.net>
parents: 9794
diff changeset
    51
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    52
/* override first/last margin */
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    53
.first, h1.title, h2.subtitle { margin-top: 0 !important; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    54
.last, .with-subtitle { margin-bottom: 0 !important; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    55
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    56
blockquote, pre, dd .option-list, .field-list {
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    57
    margin: 0.2em 0 1em 2em;
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    58
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    59
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    60
kbd, tt, pre { font-family: monospace; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    61
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    62
dt { font-weight: bold; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    63
dd { margin-bottom: 0.5em; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    64
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    65
th, td { padding: 0.1em 0.2em; border: 0 none; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    66
th { font-weight: bold; text-align: left; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    67
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    68
a:link, a:visited { text-decoration: underline; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    69
a:hover, a:focus { text-decoration: none; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    70
a:link { color: #00b5f1; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    71
a:visited { color: #5c9caf; }
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    72
a:link.toc-backref, a:visited.toc-backref {
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    73
    text-decoration: none;
9832
42ced358cbba doc/style: use default font color specified by user
Yuya Nishihara <yuya@tcha.org>
parents: 9808
diff changeset
    74
    color: inherit;  /* NOTE: `inherit' is not supported by IE6 */
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    75
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    76
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    77
div.admonition, div.attention, div.caution,
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    78
div.danger, div.error, div.hint, div.important,
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    79
div.note, div.tip, div.warning {
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    80
    border-top: 1px #ccc solid;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    81
    border-bottom: 1px #ccc solid;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    82
    padding: 0.3em 1em;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    83
    margin: 1em;
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    84
}
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    85
9836
916cf1e7b39f doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents: 9833
diff changeset
    86
div.note {
916cf1e7b39f doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents: 9833
diff changeset
    87
    border-color: #fcc200;
916cf1e7b39f doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents: 9833
diff changeset
    88
}
916cf1e7b39f doc/style: add orange border color to notes
Nicolas Dumazet <nicdumz.commits@gmail.com>
parents: 9833
diff changeset
    89
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    90
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    91
/*
9833
5e936f248501 doc/style: fix typo in comment (by timeless)
Martin Geisler <mg@lazybytes.net>
parents: 9832
diff changeset
    92
 * The following styles are from Docutils.
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    93
 * Please refine if necessary.
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
    94
 */
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    95
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    96
table.borderless td, table.borderless th {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    97
    /* Override padding for "table.docutils td" with "! important".
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    98
       The right padding separates the table cells. */
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
    99
    padding: 0 0.5em 0 0 ! important;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   100
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   101
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   102
.hidden {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   103
    display: none;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   104
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   105
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   106
blockquote.epigraph {
9794
ec8533806e27 doc: styles for man page, which suit with the mercurial website
Yuya Nishihara <yuya@tcha.org>
parents: 9626
diff changeset
   107
    margin: 2em 5em;
9626
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   108
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   109
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   110
div.abstract {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   111
    margin: 2em 5em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   112
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   113
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   114
div.dedication {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   115
    margin: 2em 5em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   116
    text-align: center;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   117
    font-style: italic;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   118
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   119
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   120
div.figure {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   121
    margin-left: 2em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   122
    margin-right: 2em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   123
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   124
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   125
div.footer, div.header {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   126
    clear: both;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   127
    font-size: smaller;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   128
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   129
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   130
div.line-block {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   131
    display: block;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   132
    margin-top: 1em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   133
    margin-bottom: 1em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   134
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   135
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   136
div.line-block div.line-block {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   137
    margin-top: 0;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   138
    margin-bottom: 0;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   139
    margin-left: 1.5em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   140
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   141
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   142
div.sidebar {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   143
    margin: 0 0 0.5em 1em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   144
    border: medium outset;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   145
    padding: 1em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   146
    background-color: #ffffee;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   147
    width: 40%;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   148
    float: right;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   149
    clear: right;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   150
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   151
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   152
div.sidebar p.rubric {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   153
    font-family: sans-serif;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   154
    font-size: medium;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   155
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   156
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   157
div.system-messages {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   158
    margin: 5em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   159
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   160
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   161
div.system-messages h1 {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   162
    color: red;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   163
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   164
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   165
div.system-message {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   166
    border: medium outset;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   167
    padding: 1em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   168
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   169
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   170
div.system-message p.system-message-title {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   171
    color: red;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   172
    font-weight: bold;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   173
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   174
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   175
h1.section-subtitle, h2.section-subtitle, h3.section-subtitle,
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   176
h4.section-subtitle, h5.section-subtitle, h6.section-subtitle {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   177
    margin-top: 0.4em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   178
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   179
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   180
hr.docutils {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   181
    width: 75%;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   182
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   183
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   184
img.align-left {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   185
    clear: left;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   186
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   187
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   188
img.align-right {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   189
    clear: right;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   190
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   191
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   192
ol.simple, ul.simple {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   193
    margin-bottom: 1em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   194
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   195
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   196
ol.arabic {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   197
    list-style: decimal;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   198
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   199
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   200
ol.loweralpha {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   201
    list-style: lower-alpha;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   202
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   203
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   204
ol.upperalpha {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   205
    list-style: upper-alpha;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   206
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   207
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   208
ol.lowerroman {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   209
    list-style: lower-roman;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   210
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   211
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   212
ol.upperroman {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   213
    list-style: upper-roman;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   214
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   215
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   216
p.attribution {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   217
    text-align: right;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   218
    margin-left: 50%;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   219
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   220
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   221
p.caption {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   222
    font-style: italic;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   223
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   224
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   225
p.credits {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   226
    font-style: italic;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   227
    font-size: smaller;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   228
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   229
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   230
p.label {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   231
    white-space: nowrap;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   232
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   233
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   234
p.rubric {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   235
    font-weight: bold;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   236
    font-size: larger;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   237
    color: maroon;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   238
    text-align: center;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   239
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   240
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   241
pre.address {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   242
    margin-bottom: 0;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   243
    margin-top: 0;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   244
    font-family: serif;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   245
    font-size: 100%;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   246
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   247
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   248
pre.literal-block, pre.doctest-block {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   249
    margin-left: 2em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   250
    margin-right: 2em;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   251
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   252
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   253
span.classifier {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   254
    font-family: sans-serif;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   255
    font-style: oblique;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   256
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   257
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   258
span.classifier-delimiter {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   259
    font-family: sans-serif;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   260
    font-weight: bold;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   261
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   262
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   263
span.interpreted {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   264
    font-family: sans-serif;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   265
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   266
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   267
span.option {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   268
    white-space: nowrap;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   269
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   270
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   271
span.pre {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   272
    white-space: pre;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   273
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   274
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   275
span.problematic {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   276
    color: red;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   277
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   278
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   279
span.section-subtitle {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   280
    /* font-size relative to parent (h1..h6 element) */
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   281
    font-size: 80%;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   282
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   283
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   284
table.citation {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   285
    border-left: solid 1px gray;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   286
    margin-left: 1px;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   287
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   288
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   289
table.footnote {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   290
    border-left: solid 1px black;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   291
    margin-left: 1px;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   292
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   293
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   294
h1 tt.docutils, h2 tt.docutils, h3 tt.docutils,
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   295
h4 tt.docutils, h5 tt.docutils, h6 tt.docutils {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   296
    font-size: 100%;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   297
}
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   298
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   299
ul.auto-toc {
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   300
    list-style-type: none;
d1aa5393bef4 doc: add a style sheet to the generated HTML pages
Martin Geisler <mg@lazybytes.net>
parents:
diff changeset
   301
}