docs/llvm-theme/static/llvm.css

   1 /*
   2  * sphinxdoc.css_t
   3  * ~~~~~~~~~~~~~~~
   4  *
   5  * Sphinx stylesheet -- sphinxdoc theme.  Originally created by
   6  * Armin Ronacher for Werkzeug.
   7  *
   8  * :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS.
   9  * :license: BSD, see LICENSE for details.
  10  *
  11  */
  12
  13 @import url("basic.css");
  14
  15 /* -- page layout ----------------------------------------------------------- */
  16
  17 body {
  18     font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
  19                  'Verdana', sans-serif;
  20     font-size: 14px;
  21     letter-spacing: -0.01em;
  22     line-height: 150%;
  23     text-align: center;
  24     background-color: #BFD1D4;
  25     color: black;
  26     padding: 0;
  27     border: 1px solid #aaa;
  28
  29     margin: 0px 80px 0px 80px;
  30     min-width: 740px;
  31 }
  32
  33 div.logo {
  34     background-color: white;
  35     text-align: left;
  36     padding: 10px 10px 15px 15px;
  37 }
  38
  39 div.document {
  40     background-color: white;
  41     text-align: left;
  42     background-image: url(contents.png);
  43     background-repeat: repeat-x;
  44 }
  45
  46 div.bodywrapper {
  47     margin: 0 240px 0 0;
  48     border-right: 1px solid #ccc;
  49 }
  50
  51 div.body {
  52     margin: 0;
  53     padding: 0.5em 20px 20px 20px;
  54 }
  55
  56 div.related {
  57     font-size: 1em;
  58 }
  59
  60 div.related ul {
  61     background-image: url(navigation.png);
  62     height: 2em;
  63     border-top: 1px solid #ddd;
  64     border-bottom: 1px solid #ddd;
  65 }
  66
  67 div.related ul li {
  68     margin: 0;
  69     padding: 0;
  70     height: 2em;
  71     float: left;
  72 }
  73
  74 div.related ul li.right {
  75     float: right;
  76     margin-right: 5px;
  77 }
  78
  79 div.related ul li a {
  80     margin: 0;
  81     padding: 0 5px 0 5px;
  82     line-height: 1.75em;
  83     color: #EE9816;
  84 }
  85
  86 div.related ul li a:hover {
  87     color: #3CA8E7;
  88 }
  89
  90 div.sphinxsidebarwrapper {
  91     padding: 0;
  92 }
  93
  94 div.sphinxsidebar {
  95     margin: 0;
  96     padding: 0.5em 15px 15px 0;
  97     width: 210px;
  98     float: right;
  99     font-size: 1em;
 100     text-align: left;
 101 }
 102
 103 div.sphinxsidebar h3, div.sphinxsidebar h4 {
 104     margin: 1em 0 0.5em 0;
 105     font-size: 1em;
 106     padding: 0.1em 0 0.1em 0.5em;
 107     color: white;
 108     border: 1px solid #86989B;
 109     background-color: #AFC1C4;
 110 }
 111
 112 div.sphinxsidebar h3 a {
 113     color: white;
 114 }
 115
 116 div.sphinxsidebar ul {
 117     padding-left: 1.5em;
 118     margin-top: 7px;
 119     padding: 0;
 120     line-height: 130%;
 121 }
 122
 123 div.sphinxsidebar ul ul {
 124     margin-left: 20px;
 125 }
 126
 127 div.footer {
 128     background-color: #E3EFF1;
 129     color: #86989B;
 130     padding: 3px 8px 3px 0;
 131     clear: both;
 132     font-size: 0.8em;
 133     text-align: right;
 134 }
 135
 136 div.footer a {
 137     color: #86989B;
 138     text-decoration: underline;
 139 }
 140
 141 /* -- body styles ----------------------------------------------------------- */
 142
 143 p {
 144     margin: 0.8em 0 0.5em 0;
 145 }
 146
 147 a {
 148     color: #CA7900;
 149     text-decoration: none;
 150 }
 151
 152 a:hover {
 153     color: #2491CF;
 154 }
 155
 156 div.body a {
 157     text-decoration: underline;
 158 }
 159
 160 h1 {
 161     margin: 0;
 162     padding: 0.7em 0 0.3em 0;
 163     font-size: 1.5em;
 164     color: #11557C;
 165 }
 166
 167 h2 {
 168     margin: 1.3em 0 0.2em 0;
 169     font-size: 1.35em;
 170     padding: 0;
 171 }
 172
 173 h3 {
 174     margin: 1em 0 -0.3em 0;
 175     font-size: 1.2em;
 176 }
 177
 178 div.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a {
 179     color: black!important;
 180 }
 181
 182 h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
 183     display: none;
 184     margin: 0 0 0 0.3em;
 185     padding: 0 0.2em 0 0.2em;
 186     color: #aaa!important;
 187 }
 188
 189 h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
 190 h5:hover a.anchor, h6:hover a.anchor {
 191     display: inline;
 192 }
 193
 194 h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
 195 h5 a.anchor:hover, h6 a.anchor:hover {
 196     color: #777;
 197     background-color: #eee;
 198 }
 199
 200 a.headerlink {
 201     color: #c60f0f!important;
 202     font-size: 1em;
 203     margin-left: 6px;
 204     padding: 0 4px 0 4px;
 205     text-decoration: none!important;
 206 }
 207
 208 a.headerlink:hover {
 209     background-color: #ccc;
 210     color: white!important;
 211 }
 212
 213 cite, code, tt {
 214     font-family: 'Consolas', 'Deja Vu Sans Mono',
 215                  'Bitstream Vera Sans Mono', monospace;
 216     font-size: 0.95em;
 217     letter-spacing: 0.01em;
 218 }
 219
 220 tt {
 221     background-color: #f2f2f2;
 222     border-bottom: 1px solid #ddd;
 223     color: #333;
 224 }
 225
 226 tt.descname, tt.descclassname, tt.xref {
 227     border: 0;
 228 }
 229
 230 hr {
 231     border: 1px solid #abc;
 232     margin: 2em;
 233 }
 234
 235 a tt {
 236     border: 0;
 237     color: #CA7900;
 238 }
 239
 240 a tt:hover {
 241     color: #2491CF;
 242 }
 243
 244 pre {
 245     font-family: 'Consolas', 'Deja Vu Sans Mono',
 246                  'Bitstream Vera Sans Mono', monospace;
 247     font-size: 0.95em;
 248     letter-spacing: 0.015em;
 249     line-height: 120%;
 250     padding: 0.5em;
 251     border: 1px solid #ccc;
 252     background-color: #f8f8f8;
 253 }
 254
 255 pre a {
 256     color: inherit;
 257     text-decoration: underline;
 258 }
 259
 260 td.linenos pre {
 261     padding: 0.5em 0;
 262 }
 263
 264 div.quotebar {
 265     background-color: #f8f8f8;
 266     max-width: 250px;
 267     float: right;
 268     padding: 2px 7px;
 269     border: 1px solid #ccc;
 270 }
 271
 272 div.topic {
 273     background-color: #f8f8f8;
 274 }
 275
 276 table {
 277     border-collapse: collapse;
 278     margin: 0 -0.5em 0 -0.5em;
 279 }
 280
 281 table td, table th {
 282     padding: 0.2em 0.5em 0.2em 0.5em;
 283 }
 284
 285 div.admonition, div.warning {
 286     font-size: 0.9em;
 287     margin: 1em 0 1em 0;
 288     border: 1px solid #86989B;
 289     background-color: #f7f7f7;
 290     padding: 0;
 291 }
 292
 293 div.admonition p, div.warning p {
 294     margin: 0.5em 1em 0.5em 1em;
 295     padding: 0;
 296 }
 297
 298 div.admonition pre, div.warning pre {
 299     margin: 0.4em 1em 0.4em 1em;
 300 }
 301
 302 div.admonition p.admonition-title,
 303 div.warning p.admonition-title {
 304     margin: 0;
 305     padding: 0.1em 0 0.1em 0.5em;
 306     color: white;
 307     border-bottom: 1px solid #86989B;
 308     font-weight: bold;
 309     background-color: #AFC1C4;
 310 }
 311
 312 div.warning {
 313     border: 1px solid #940000;
 314 }
 315
 316 div.warning p.admonition-title {
 317     background-color: #CF0000;
 318     border-bottom-color: #940000;
 319 }
 320
 321 div.admonition ul, div.admonition ol,
 322 div.warning ul, div.warning ol {
 323     margin: 0.1em 0.5em 0.5em 3em;
 324     padding: 0;
 325 }
 326
 327 div.versioninfo {
 328     margin: 1em 0 0 0;
 329     border: 1px solid #ccc;
 330     background-color: #DDEAF0;
 331     padding: 8px;
 332     line-height: 1.3em;
 333     font-size: 0.9em;
 334 }
 335
 336 .viewcode-back {
 337     font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
 338                  'Verdana', sans-serif;
 339 }
 340
 341 div.viewcode-block:target {
 342     background-color: #f4debf;
 343     border-top: 1px solid #ac9;
 344     border-bottom: 1px solid #ac9;
 345 }