1
/* Sphinx stylesheet for Storm documentation. */
3
@import url("basic.css");
5
/* -- page layout ----------------------------------------------------------- */
8
font-family: Ubuntu, 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
11
letter-spacing: -0.01em;
14
background: url(background.png) repeat;
18
border: 1px solid #aaa;
25
background-color: white;
27
background-image: url(contents.png);
28
background-repeat: repeat-x;
33
border-right: 1px solid #ccc;
38
padding: 0.5em 20px 20px 20px;
46
background-image: url(navigation.png);
48
border-top: 1px solid #ddd;
49
border-bottom: 1px solid #ddd;
59
div.related ul li.right {
73
div.related ul li a:hover {
77
text-decoration: underline;
80
div.sphinxsidebarwrapper {
84
div.sphinxsidebarwrapper a {
88
div.sphinxsidebarwrapper a:hover {
89
text-decoration: underline;
94
padding: 0.5em 15px 15px 0;
101
div.sphinxsidebar h3, div.sphinxsidebar h4 {
102
margin: 1em 0 0.5em 0;
104
/* padding: 0.1em 0 0.1em 0.5em; */
107
/* border: 1px solid #86989B; */
108
/* background-color: #AFC1C4; */
111
div.sphinxsidebar h3 a {
116
div.sphinxsidebar ul {
123
div.sphinxsidebar ul ul {
132
background-color: #E3EFF1;
134
padding: 3px 8px 3px 0;
142
text-decoration: underline;
145
/* -- body styles ----------------------------------------------------------- */
148
margin: 0.8em 0 0.5em 0;
154
text-decoration: none;
163
text-decoration: underline;
168
padding: 0.7em 0 0.3em 0;
176
margin: 1.3em 0 0.2em 0;
182
margin: 1em 0 -0.3em 0;
186
div.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a {
187
color: black!important;
190
h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
193
padding: 0 0.2em 0 0.2em;
194
color: #aaa!important;
197
h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
198
h5:hover a.anchor, h6:hover a.anchor {
202
h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
203
h5 a.anchor:hover, h6 a.anchor:hover {
205
background-color: #eee;
209
color: #c60f0f!important;
212
padding: 0 4px 0 4px;
213
text-decoration: none!important;
217
background-color: #ccc;
218
color: white!important;
222
font-family: 'Consolas', 'Deja Vu Sans Mono',
223
'Bitstream Vera Sans Mono', monospace;
225
letter-spacing: 0.01em;
229
background-color: #f2f2f2;
230
border-bottom: 1px solid #ddd;
234
tt.descname, tt.descclassname, tt.xref {
239
border: 1px solid #abc;
253
font-family: 'Consolas', 'Deja Vu Sans Mono',
254
'Bitstream Vera Sans Mono', monospace;
256
letter-spacing: 0.015em;
259
border: 1px solid #ccc;
260
background-color: #f8f8f8;
267
-moz-border-radius: 6px;
269
-webkit-box-shadow: #cccccc 0px 1px 1px;
270
-moz-box-shadow: #cccccc 0px 1px 1px;
271
box-shadow: #cccccc 0px 1px 1px;
276
text-decoration: underline;
284
background-color: #f8f8f8;
288
border: 1px solid #ccc;
292
background-color: #f8f8f8;
296
border-collapse: collapse;
297
margin: 0 -0.5em 0 -0.5em;
301
padding: 0.2em 0.5em 0.2em 0.5em;
304
div.admonition, div.warning {
307
border: 1px solid #86989B;
308
border: 1px solid #cccccc;
309
background-color: #f7f7f7;
314
-moz-border-radius: 6px;
316
-webkit-box-shadow: #cccccc 0px 1px 1px;
317
-moz-box-shadow: #cccccc 0px 1px 1px;
318
box-shadow: #cccccc 0px 1px 1px;
321
div.admonition p, div.warning p {
322
margin: 0.5em 1em 0.5em 1em;
326
div.admonition pre, div.warning pre {
327
margin: 0.4em 1em 0.4em 1em;
330
div.admonition p.admonition-title,
331
div.warning p.admonition-title {
333
padding: 0.1em 0 0.1em 0.9em;
335
border-bottom: 1px solid #86989B;
336
border-bottom: 1px solid #cccccc;
338
background-color: #AFC1C4;
342
/* -moz-border-radius: 0 0 6px 6px; */
343
border-top-left-radius: 6px;
344
border-top-right-radius: 6px;
348
border: 1px solid #940000;
351
div.warning p.admonition-title {
352
background-color: #CF0000;
353
border-bottom-color: #940000;
356
div.admonition ul, div.admonition ol,
357
div.warning ul, div.warning ol {
358
margin: 0.1em 0.5em 0.5em 3em;
364
border: 1px solid #ccc;
365
background-color: #DDEAF0;
372
font-family: Ubuntu, 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
373
'Verdana', sans-serif;
376
div.viewcode-block:target {
377
background-color: #f4debf;
378
border-top: 1px solid #ac9;
379
border-bottom: 1px solid #ac9;