docs/_themes/llvm-theme/static/llvm-theme.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 p 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 h3 a:hover {
 179     text-decoration: underline;
 180 }
 181
 182 div.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a {
 183     color: black!important;
 184 }
 185
 186 div.body h1,
 187 div.body h2,
 188 div.body h3,
 189 div.body h4,
 190 div.body h5,
 191 div.body h6 {
 192     background-color: #f2f2f2;
 193     font-weight: normal;
 194     color: #20435c;
 195     border-bottom: 1px solid #ccc;
 196     margin: 20px -20px 10px -20px;
 197     padding: 3px 0 3px 10px;
 198 }
 199
 200 div.body h1 { margin-top: 0; font-size: 200%; }
 201 div.body h2 { font-size: 160%; }
 202 div.body h3 { font-size: 140%; }
 203 div.body h4 { font-size: 120%; }
 204 div.body h5 { font-size: 110%; }
 205 div.body h6 { font-size: 100%; }
 206
 207 h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
 208     display: none;
 209     margin: 0 0 0 0.3em;
 210     padding: 0 0.2em 0 0.2em;
 211     color: #aaa!important;
 212 }
 213
 214 h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
 215 h5:hover a.anchor, h6:hover a.anchor {
 216     display: inline;
 217 }
 218
 219 h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
 220 h5 a.anchor:hover, h6 a.anchor:hover {
 221     color: #777;
 222     background-color: #eee;
 223 }
 224
 225 a.headerlink {
 226     color: #c60f0f!important;
 227     font-size: 1em;
 228     margin-left: 6px;
 229     padding: 0 4px 0 4px;
 230     text-decoration: none!important;
 231 }
 232
 233 a.headerlink:hover {
 234     background-color: #ccc;
 235     color: white!important;
 236 }
 237
 238 cite, code, tt {
 239     font-family: 'Consolas', 'Deja Vu Sans Mono',
 240                  'Bitstream Vera Sans Mono', monospace;
 241     font-size: 0.95em;
 242     letter-spacing: 0.01em;
 243 }
 244
 245 :not(a.reference) > tt {
 246     background-color: #f2f2f2;
 247     border-bottom: 1px solid #ddd;
 248     color: #333;
 249 }
 250
 251 tt.descname, tt.descclassname, tt.xref {
 252     border: 0;
 253 }
 254
 255 hr {
 256     border: 1px solid #abc;
 257     margin: 2em;
 258 }
 259
 260 p a tt {
 261     border: 0;
 262     color: #CA7900;
 263 }
 264
 265 p a tt:hover {
 266     color: #2491CF;
 267 }
 268
 269 a tt {
 270     border: none;
 271 }
 272
 273 pre {
 274     font-family: 'Consolas', 'Deja Vu Sans Mono',
 275                  'Bitstream Vera Sans Mono', monospace;
 276     font-size: 0.95em;
 277     letter-spacing: 0.015em;
 278     line-height: 120%;
 279     padding: 0.5em;
 280     border: 1px solid #ccc;
 281     background-color: #f8f8f8;
 282 }
 283
 284 pre a {
 285     color: inherit;
 286     text-decoration: underline;
 287 }
 288
 289 td.linenos pre {
 290     padding: 0.5em 0;
 291 }
 292
 293 div.quotebar {
 294     background-color: #f8f8f8;
 295     max-width: 250px;
 296     float: right;
 297     padding: 2px 7px;
 298     border: 1px solid #ccc;
 299 }
 300
 301 div.topic {
 302     background-color: #f8f8f8;
 303 }
 304
 305 table {
 306     border-collapse: collapse;
 307     margin: 0 -0.5em 0 -0.5em;
 308 }
 309
 310 table td, table th {
 311     padding: 0.2em 0.5em 0.2em 0.5em;
 312 }
 313
 314 div.admonition, div.warning {
 315     font-size: 0.9em;
 316     margin: 1em 0 1em 0;
 317     border: 1px solid #86989B;
 318     background-color: #f7f7f7;
 319     padding: 0;
 320 }
 321
 322 div.admonition p, div.warning p {
 323     margin: 0.5em 1em 0.5em 1em;
 324     padding: 0;
 325 }
 326
 327 div.admonition pre, div.warning pre {
 328     margin: 0.4em 1em 0.4em 1em;
 329 }
 330
 331 div.admonition p.admonition-title,
 332 div.warning p.admonition-title {
 333     margin: 0;
 334     padding: 0.1em 0 0.1em 0.5em;
 335     color: white;
 336     border-bottom: 1px solid #86989B;
 337     font-weight: bold;
 338     background-color: #AFC1C4;
 339 }
 340
 341 div.warning {
 342     border: 1px solid #940000;
 343 }
 344
 345 div.warning p.admonition-title {
 346     background-color: #CF0000;
 347     border-bottom-color: #940000;
 348 }
 349
 350 div.admonition ul, div.admonition ol,
 351 div.warning ul, div.warning ol {
 352     margin: 0.1em 0.5em 0.5em 3em;
 353     padding: 0;
 354 }
 355
 356 div.versioninfo {
 357     margin: 1em 0 0 0;
 358     border: 1px solid #ccc;
 359     background-color: #DDEAF0;
 360     padding: 8px;
 361     line-height: 1.3em;
 362     font-size: 0.9em;
 363 }
 364
 365 .viewcode-back {
 366     font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
 367                  'Verdana', sans-serif;
 368 }
 369
 370 div.viewcode-block:target {
 371     background-color: #f4debf;
 372     border-top: 1px solid #ac9;
 373     border-bottom: 1px solid #ac9;
 374 }