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