buildframework/helium/external/python/lib/common/Sphinx-0.5.1-py2.5.egg/sphinx/static/sphinxdoc.css
author wbernard
Wed, 23 Dec 2009 19:29:07 +0200
changeset 179 d8ac696cc51f
permissions -rw-r--r--
helium_7.0-r14027
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
179
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     1
/**
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     2
 * Alternate Sphinx design
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     3
 * Originally created by Armin Ronacher for Werkzeug, adapted by Georg Brandl.
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     4
 */
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     5
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     6
body {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     7
    font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva', 'Verdana', sans-serif;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     8
    font-size: 14px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
     9
    letter-spacing: -0.01em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    10
    line-height: 150%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    11
    text-align: center;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    12
    /*background-color: #AFC1C4; */
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    13
    background-color: #BFD1D4;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    14
    color: black;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    15
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    16
    border: 1px solid #aaa;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    17
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    18
    margin: 0px 80px 0px 80px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    19
    min-width: 740px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    20
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    21
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    22
a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    23
    color: #CA7900;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    24
    text-decoration: none;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    25
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    26
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    27
a:hover {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    28
    color: #2491CF;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    29
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    30
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    31
pre {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    32
    font-family: 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    33
    font-size: 0.95em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    34
    letter-spacing: 0.015em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    35
    padding: 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    36
    border: 1px solid #ccc;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    37
    background-color: #f8f8f8;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    38
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    39
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    40
td.linenos pre {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    41
    padding: 0.5em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    42
    border: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    43
    background-color: transparent;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    44
    color: #aaa;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    45
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    46
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    47
table.highlighttable {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    48
    margin-left: 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    49
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    50
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    51
table.highlighttable td {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    52
    padding: 0 0.5em 0 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    53
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    54
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    55
cite, code, tt {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    56
    font-family: 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    57
    font-size: 0.95em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    58
    letter-spacing: 0.01em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    59
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    60
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    61
hr {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    62
    border: 1px solid #abc;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    63
    margin: 2em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    64
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    65
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    66
tt {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    67
    background-color: #f2f2f2;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    68
    border-bottom: 1px solid #ddd;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    69
    color: #333;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    70
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    71
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    72
tt.descname {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    73
    background-color: transparent;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    74
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    75
    font-size: 1.2em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    76
    border: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    77
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    78
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    79
tt.descclassname {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    80
    background-color: transparent;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    81
    border: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    82
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    83
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    84
tt.xref {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    85
    background-color: transparent;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    86
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    87
    border: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    88
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    89
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    90
a tt {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    91
    background-color: transparent;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    92
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    93
    border: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    94
    color: #CA7900;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    95
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    96
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    97
a tt:hover {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    98
    color: #2491CF;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
    99
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   100
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   101
.field-list ul {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   102
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   103
    padding-left: 1em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   104
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   105
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   106
.field-list p {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   107
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   108
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   109
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   110
dl {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   111
    margin-bottom: 15px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   112
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   113
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   114
dd p {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   115
    margin-top: 0px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   116
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   117
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   118
dd ul, dd table {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   119
    margin-bottom: 10px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   120
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   121
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   122
dd {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   123
    margin-top: 3px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   124
    margin-bottom: 10px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   125
    margin-left: 30px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   126
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   127
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   128
.refcount {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   129
    color: #060;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   130
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   131
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   132
dt:target,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   133
.highlight {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   134
    background-color: #fbe54e;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   135
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   136
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   137
dl.glossary dt {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   138
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   139
    font-size: 1.1em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   140
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   141
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   142
pre {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   143
    line-height: 120%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   144
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   145
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   146
pre a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   147
    color: inherit;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   148
    text-decoration: underline;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   149
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   150
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   151
.first {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   152
    margin-top: 0 !important;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   153
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   154
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   155
div.document {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   156
    background-color: white;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   157
    text-align: left;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   158
    background-image: url(contents.png);
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   159
    background-repeat: repeat-x;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   160
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   161
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   162
/*
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   163
div.documentwrapper {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   164
    width: 100%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   165
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   166
*/
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   167
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   168
div.clearer {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   169
    clear: both;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   170
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   171
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   172
div.related h3 {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   173
    display: none;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   174
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   175
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   176
div.related ul {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   177
    background-image: url(navigation.png);
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   178
    height: 2em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   179
    list-style: none;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   180
    border-top: 1px solid #ddd;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   181
    border-bottom: 1px solid #ddd;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   182
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   183
    padding-left: 10px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   184
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   185
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   186
div.related ul li {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   187
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   188
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   189
    height: 2em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   190
    float: left;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   191
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   192
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   193
div.related ul li.right {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   194
    float: right;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   195
    margin-right: 5px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   196
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   197
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   198
div.related ul li a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   199
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   200
    padding: 0 5px 0 5px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   201
    line-height: 1.75em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   202
    color: #EE9816;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   203
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   204
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   205
div.related ul li a:hover {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   206
    color: #3CA8E7;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   207
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   208
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   209
div.body {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   210
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   211
    padding: 0.5em 20px 20px 20px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   212
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   213
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   214
div.bodywrapper {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   215
    margin: 0 240px 0 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   216
    border-right: 1px solid #ccc;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   217
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   218
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   219
div.body a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   220
    text-decoration: underline;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   221
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   222
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   223
div.sphinxsidebar {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   224
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   225
    padding: 0.5em 15px 15px 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   226
    width: 210px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   227
    float: right;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   228
    text-align: left;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   229
/*    margin-left: -100%; */
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   230
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   231
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   232
div.sphinxsidebar h4, div.sphinxsidebar h3 {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   233
    margin: 1em 0 0.5em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   234
    font-size: 0.9em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   235
    padding: 0.1em 0 0.1em 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   236
    color: white;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   237
    border: 1px solid #86989B;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   238
    background-color: #AFC1C4;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   239
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   240
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   241
div.sphinxsidebar h3 a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   242
    color: white;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   243
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   244
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   245
div.sphinxsidebar ul {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   246
    padding-left: 1.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   247
    margin-top: 7px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   248
    list-style: none;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   249
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   250
    line-height: 130%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   251
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   252
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   253
div.sphinxsidebar ul ul {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   254
    list-style: square;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   255
    margin-left: 20px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   256
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   257
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   258
p {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   259
    margin: 0.8em 0 0.5em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   260
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   261
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   262
p.rubric {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   263
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   264
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   265
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   266
div.sidebar {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   267
    margin: 0 0 0.5em 1em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   268
    border: 1px solid #ddb;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   269
    padding: 7px 7px 0 7px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   270
    background-color: #ffe;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   271
    width: 40%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   272
    float: right;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   273
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   274
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   275
div.quotebar {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   276
    background-color: #f8f8f8;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   277
    max-width: 250px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   278
    float: right;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   279
    padding: 2px 7px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   280
    border: 1px solid #ccc;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   281
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   282
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   283
p.sidebar-title {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   284
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   285
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   286
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   287
div.topic {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   288
    background-color: #f8f8f8;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   289
    border: 1px solid #ccc;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   290
    padding: 7px 7px 0 7px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   291
    margin: 10px 0 10px 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   292
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   293
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   294
p.topic-title {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   295
    font-size: 1.1em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   296
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   297
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   298
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   299
h1 {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   300
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   301
    padding: 0.7em 0 0.3em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   302
    font-size: 1.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   303
    color: #11557C;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   304
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   305
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   306
h2 {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   307
    margin: 1.3em 0 0.2em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   308
    font-size: 1.35em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   309
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   310
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   311
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   312
h3 {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   313
    margin: 1em 0 -0.3em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   314
    font-size: 1.2em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   315
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   316
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   317
div.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   318
    color: black!important;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   319
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   320
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   321
h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   322
    display: none;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   323
    margin: 0 0 0 0.3em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   324
    padding: 0 0.2em 0 0.2em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   325
    color: #aaa!important;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   326
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   327
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   328
h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   329
h5:hover a.anchor, h6:hover a.anchor {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   330
    display: inline;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   331
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   332
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   333
h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   334
h5 a.anchor:hover, h6 a.anchor:hover {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   335
    color: #777;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   336
    background-color: #eee;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   337
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   338
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   339
table {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   340
    border-collapse: collapse;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   341
    margin: 0 -0.5em 0 -0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   342
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   343
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   344
table td, table th {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   345
    padding: 0.2em 0.5em 0.2em 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   346
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   347
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   348
div.footer {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   349
    background-color: #E3EFF1;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   350
    color: #86989B;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   351
    padding: 3px 8px 3px 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   352
    clear: both;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   353
    font-size: 0.8em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   354
    text-align: right;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   355
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   356
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   357
div.footer a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   358
    color: #86989B;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   359
    text-decoration: underline;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   360
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   361
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   362
div.pagination {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   363
    margin-top: 2em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   364
    padding-top: 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   365
    border-top: 1px solid black;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   366
    text-align: center;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   367
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   368
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   369
div.sphinxsidebar ul.toc {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   370
    margin: 1em 0 1em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   371
    padding: 0 0 0 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   372
    list-style: none;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   373
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   374
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   375
div.sphinxsidebar ul.toc li {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   376
    margin: 0.5em 0 0.5em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   377
    font-size: 0.9em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   378
    line-height: 130%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   379
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   380
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   381
div.sphinxsidebar ul.toc li p {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   382
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   383
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   384
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   385
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   386
div.sphinxsidebar ul.toc ul {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   387
    margin: 0.2em 0 0.2em 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   388
    padding: 0 0 0 1.8em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   389
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   390
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   391
div.sphinxsidebar ul.toc ul li {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   392
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   393
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   394
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   395
div.admonition, div.warning {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   396
    font-size: 0.9em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   397
    margin: 1em 0 0 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   398
    border: 1px solid #86989B;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   399
    background-color: #f7f7f7;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   400
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   401
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   402
div.admonition p, div.warning p {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   403
    margin: 0.5em 1em 0.5em 1em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   404
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   405
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   406
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   407
div.admonition pre, div.warning pre {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   408
    margin: 0.4em 1em 0.4em 1em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   409
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   410
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   411
div.admonition p.admonition-title,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   412
div.warning p.admonition-title {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   413
    margin: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   414
    padding: 0.1em 0 0.1em 0.5em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   415
    color: white;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   416
    border-bottom: 1px solid #86989B;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   417
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   418
    background-color: #AFC1C4;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   419
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   420
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   421
div.warning {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   422
    border: 1px solid #940000;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   423
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   424
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   425
div.warning p.admonition-title {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   426
    background-color: #CF0000;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   427
    border-bottom-color: #940000;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   428
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   429
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   430
div.admonition ul, div.admonition ol,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   431
div.warning ul, div.warning ol {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   432
    margin: 0.1em 0.5em 0.5em 3em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   433
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   434
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   435
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   436
div.versioninfo {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   437
    margin: 1em 0 0 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   438
    border: 1px solid #ccc;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   439
    background-color: #DDEAF0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   440
    padding: 8px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   441
    line-height: 1.3em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   442
    font-size: 0.9em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   443
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   444
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   445
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   446
a.headerlink {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   447
    color: #c60f0f!important;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   448
    font-size: 1em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   449
    margin-left: 6px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   450
    padding: 0 4px 0 4px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   451
    text-decoration: none!important;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   452
    visibility: hidden;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   453
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   454
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   455
h1:hover > a.headerlink,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   456
h2:hover > a.headerlink,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   457
h3:hover > a.headerlink,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   458
h4:hover > a.headerlink,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   459
h5:hover > a.headerlink,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   460
h6:hover > a.headerlink,
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   461
dt:hover > a.headerlink {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   462
    visibility: visible;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   463
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   464
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   465
a.headerlink:hover {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   466
    background-color: #ccc;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   467
    color: white!important;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   468
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   469
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   470
table.indextable td {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   471
    text-align: left;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   472
    vertical-align: top;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   473
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   474
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   475
table.indextable dl, table.indextable dd {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   476
    margin-top: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   477
    margin-bottom: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   478
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   479
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   480
table.indextable tr.pcap {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   481
    height: 10px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   482
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   483
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   484
table.indextable tr.cap {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   485
    margin-top: 10px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   486
    background-color: #f2f2f2;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   487
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   488
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   489
img.toggler {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   490
    margin-right: 3px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   491
    margin-top: 3px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   492
    cursor: pointer;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   493
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   494
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   495
form.pfform {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   496
    margin: 10px 0 20px 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   497
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   498
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   499
table.contentstable {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   500
    width: 90%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   501
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   502
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   503
table.contentstable p.biglink {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   504
    line-height: 150%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   505
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   506
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   507
a.biglink {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   508
    font-size: 1.3em;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   509
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   510
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   511
span.linkdescr {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   512
    font-style: italic;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   513
    padding-top: 5px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   514
    font-size: 90%;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   515
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   516
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   517
ul.search {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   518
    margin: 10px 0 0 20px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   519
    padding: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   520
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   521
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   522
ul.search li {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   523
    padding: 5px 0 5px 20px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   524
    background-image: url(file.png);
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   525
    background-repeat: no-repeat;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   526
    background-position: 0 7px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   527
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   528
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   529
ul.search li a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   530
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   531
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   532
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   533
ul.search li div.context {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   534
    color: #888;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   535
    margin: 2px 0 0 30px;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   536
    text-align: left;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   537
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   538
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   539
ul.keywordmatches li.goodmatch a {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   540
    font-weight: bold;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   541
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   542
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   543
img.math {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   544
    vertical-align: center;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   545
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   546
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   547
div.math {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   548
    text-align: center;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   549
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   550
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   551
span.eqno {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   552
    float: right;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   553
}
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   554
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   555
img.logo {
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   556
    border: 0;
d8ac696cc51f helium_7.0-r14027
wbernard
parents:
diff changeset
   557
}