blob: 607b5f5582e5a2f1122674c402cdeca14d10dae6 [file] [log] [blame]
Gilles Peskine882f7c72022-04-07 13:44:55 +02001/*
2 * basic.css
3 * ~~~~~~~~~
4 *
5 * Sphinx stylesheet -- basic theme.
6 *
7 * :copyright: Copyright 2007-2018 by the Sphinx team, see AUTHORS.
8 * :license: BSD, see LICENSE for details.
9 *
10 */
11
12/* -- main layout ----------------------------------------------------------- */
13
14div.clearer {
15 clear: both;
16}
17
18/* -- relbar ---------------------------------------------------------------- */
19
20div.related {
21 width: 100%;
22 font-size: 90%;
23}
24
25div.related h3 {
26 display: none;
27}
28
29div.related ul {
30 margin: 0;
31 padding: 0 0 0 10px;
32 list-style: none;
33}
34
35div.related li {
36 display: inline;
37}
38
39div.related li.right {
40 float: right;
41 margin-right: 5px;
42}
43
44/* -- sidebar --------------------------------------------------------------- */
45
46div.sphinxsidebarwrapper {
47 padding: 10px 5px 0 10px;
48}
49
50div.sphinxsidebar {
51 float: left;
52 width: 230px;
53 margin-left: -100%;
54 font-size: 90%;
55 word-wrap: break-word;
56 overflow-wrap : break-word;
57}
58
59div.sphinxsidebar ul {
60 list-style: none;
61}
62
63div.sphinxsidebar ul ul,
64div.sphinxsidebar ul.want-points {
65 margin-left: 20px;
66 list-style: square;
67}
68
69div.sphinxsidebar ul ul {
70 margin-top: 0;
71 margin-bottom: 0;
72}
73
74div.sphinxsidebar form {
75 margin-top: 10px;
76}
77
78div.sphinxsidebar input {
79 border: 1px solid #98dbcc;
80 font-family: sans-serif;
81 font-size: 1em;
82}
83
84div.sphinxsidebar #searchbox input[type="text"] {
85 width: 170px;
86}
87
88img {
89 border: 0;
90 max-width: 100%;
91}
92
93/* -- search page ----------------------------------------------------------- */
94
95ul.search {
96 margin: 10px 0 0 20px;
97 padding: 0;
98}
99
100ul.search li {
101 padding: 5px 0 5px 20px;
102 background-image: url(file.png);
103 background-repeat: no-repeat;
104 background-position: 0 7px;
105}
106
107ul.search li a {
108 font-weight: bold;
109}
110
111ul.search li div.context {
112 color: #888;
113 margin: 2px 0 0 30px;
114 text-align: left;
115}
116
117ul.keywordmatches li.goodmatch a {
118 font-weight: bold;
119}
120
121/* -- index page ------------------------------------------------------------ */
122
123table.contentstable {
124 width: 90%;
125 margin-left: auto;
126 margin-right: auto;
127}
128
129table.contentstable p.biglink {
130 line-height: 150%;
131}
132
133a.biglink {
134 font-size: 1.3em;
135}
136
137span.linkdescr {
138 font-style: italic;
139 padding-top: 5px;
140 font-size: 90%;
141}
142
143/* -- general index --------------------------------------------------------- */
144
145table.indextable {
146 width: 100%;
147}
148
149table.indextable td {
150 text-align: left;
151 vertical-align: top;
152}
153
154table.indextable ul {
155 margin-top: 0;
156 margin-bottom: 0;
157 list-style-type: none;
158}
159
160table.indextable > tbody > tr > td > ul {
161 padding-left: 0em;
162}
163
164table.indextable tr.pcap {
165 height: 10px;
166}
167
168table.indextable tr.cap {
169 margin-top: 10px;
170 background-color: #f2f2f2;
171}
172
173img.toggler {
174 margin-right: 3px;
175 margin-top: 3px;
176 cursor: pointer;
177}
178
179div.modindex-jumpbox {
180 border-top: 1px solid #ddd;
181 border-bottom: 1px solid #ddd;
182 margin: 1em 0 1em 0;
183 padding: 0.4em;
184}
185
186div.genindex-jumpbox {
187 border-top: 1px solid #ddd;
188 border-bottom: 1px solid #ddd;
189 margin: 1em 0 1em 0;
190 padding: 0.4em;
191}
192
193/* -- domain module index --------------------------------------------------- */
194
195table.modindextable td {
196 padding: 2px;
197 border-collapse: collapse;
198}
199
200/* -- general body styles --------------------------------------------------- */
201
202div.body p, div.body dd, div.body li, div.body blockquote {
203 -moz-hyphens: auto;
204 -ms-hyphens: auto;
205 -webkit-hyphens: auto;
206 hyphens: auto;
207}
208
209a.headerlink {
210 visibility: hidden;
211}
212
213h1:hover > a.headerlink,
214h2:hover > a.headerlink,
215h3:hover > a.headerlink,
216h4:hover > a.headerlink,
217h5:hover > a.headerlink,
218h6:hover > a.headerlink,
219dt:hover > a.headerlink,
220caption:hover > a.headerlink,
221p.caption:hover > a.headerlink,
222div.code-block-caption:hover > a.headerlink {
223 visibility: visible;
224}
225
226div.body p.caption {
227 text-align: inherit;
228}
229
230div.body td {
231 text-align: left;
232}
233
234.first {
235 margin-top: 0 !important;
236}
237
238p.rubric {
239 margin-top: 30px;
240 font-weight: bold;
241}
242
243img.align-left, .figure.align-left, object.align-left {
244 clear: left;
245 float: left;
246 margin-right: 1em;
247}
248
249img.align-right, .figure.align-right, object.align-right {
250 clear: right;
251 float: right;
252 margin-left: 1em;
253}
254
255img.align-center, .figure.align-center, object.align-center {
256 display: block;
257 margin-left: auto;
258 margin-right: auto;
259}
260
261.align-left {
262 text-align: left;
263}
264
265.align-center {
266 text-align: center;
267}
268
269.align-right {
270 text-align: right;
271}
272
273/* -- sidebars -------------------------------------------------------------- */
274
275div.sidebar {
276 margin: 0 0 0.5em 1em;
277 border: 1px solid #ddb;
278 padding: 7px 7px 0 7px;
279 background-color: #ffe;
280 width: 40%;
281 float: right;
282}
283
284p.sidebar-title {
285 font-weight: bold;
286}
287
288/* -- topics ---------------------------------------------------------------- */
289
290div.topic {
291 border: 1px solid #ccc;
292 padding: 7px 7px 0 7px;
293 margin: 10px 0 10px 0;
294}
295
296p.topic-title {
297 font-size: 1.1em;
298 font-weight: bold;
299 margin-top: 10px;
300}
301
302/* -- admonitions ----------------------------------------------------------- */
303
304div.admonition {
305 margin-top: 10px;
306 margin-bottom: 10px;
307 padding: 7px;
308}
309
310div.admonition dt {
311 font-weight: bold;
312}
313
314div.admonition dl {
315 margin-bottom: 0;
316}
317
318p.admonition-title {
319 margin: 0px 10px 5px 0px;
320 font-weight: bold;
321}
322
323div.body p.centered {
324 text-align: center;
325 margin-top: 25px;
326}
327
328/* -- tables ---------------------------------------------------------------- */
329
330table.docutils {
331 border: 0;
332 border-collapse: collapse;
333}
334
335table.align-center {
336 margin-left: auto;
337 margin-right: auto;
338}
339
340table caption span.caption-number {
341 font-style: italic;
342}
343
344table caption span.caption-text {
345}
346
347table.docutils td, table.docutils th {
348 padding: 1px 8px 1px 5px;
349 border-top: 0;
350 border-left: 0;
351 border-right: 0;
352 border-bottom: 1px solid #aaa;
353}
354
355table.footnote td, table.footnote th {
356 border: 0 !important;
357}
358
359th {
360 text-align: left;
361 padding-right: 5px;
362}
363
364table.citation {
365 border-left: solid 1px gray;
366 margin-left: 1px;
367}
368
369table.citation td {
370 border-bottom: none;
371}
372
373/* -- figures --------------------------------------------------------------- */
374
375div.figure {
376 margin: 0.5em;
377 padding: 0.5em;
378}
379
380div.figure p.caption {
381 padding: 0.3em;
382}
383
384div.figure p.caption span.caption-number {
385 font-style: italic;
386}
387
388div.figure p.caption span.caption-text {
389}
390
391/* -- field list styles ----------------------------------------------------- */
392
393table.field-list td, table.field-list th {
394 border: 0 !important;
395}
396
397.field-list ul {
398 margin: 0;
399 padding-left: 1em;
400}
401
402.field-list p {
403 margin: 0;
404}
405
406.field-name {
407 -moz-hyphens: manual;
408 -ms-hyphens: manual;
409 -webkit-hyphens: manual;
410 hyphens: manual;
411}
412
413/* -- other body styles ----------------------------------------------------- */
414
415ol.arabic {
416 list-style: decimal;
417}
418
419ol.loweralpha {
420 list-style: lower-alpha;
421}
422
423ol.upperalpha {
424 list-style: upper-alpha;
425}
426
427ol.lowerroman {
428 list-style: lower-roman;
429}
430
431ol.upperroman {
432 list-style: upper-roman;
433}
434
435dl {
436 margin-bottom: 15px;
437}
438
439dd p {
440 margin-top: 0px;
441}
442
443dd ul, dd table {
444 margin-bottom: 10px;
445}
446
447dd {
448 margin-top: 3px;
449 margin-bottom: 10px;
450 margin-left: 30px;
451}
452
453dt:target, span.highlighted {
454 background-color: #fbe54e;
455}
456
457rect.highlighted {
458 fill: #fbe54e;
459}
460
461dl.glossary dt {
462 font-weight: bold;
463 font-size: 1.1em;
464}
465
466.optional {
467 font-size: 1.3em;
468}
469
470.sig-paren {
471 font-size: larger;
472}
473
474.versionmodified {
475 font-style: italic;
476}
477
478.system-message {
479 background-color: #fda;
480 padding: 5px;
481 border: 3px solid red;
482}
483
484.footnote:target {
485 background-color: #ffa;
486}
487
488.line-block {
489 display: block;
490 margin-top: 1em;
491 margin-bottom: 1em;
492}
493
494.line-block .line-block {
495 margin-top: 0;
496 margin-bottom: 0;
497 margin-left: 1.5em;
498}
499
500.guilabel, .menuselection {
501 font-family: sans-serif;
502}
503
504.accelerator {
505 text-decoration: underline;
506}
507
508.classifier {
509 font-style: oblique;
510}
511
512abbr, acronym {
513 border-bottom: dotted 1px;
514 cursor: help;
515}
516
517/* -- code displays --------------------------------------------------------- */
518
519pre {
520 overflow: auto;
521 overflow-y: hidden; /* fixes display issues on Chrome browsers */
522}
523
524span.pre {
525 -moz-hyphens: none;
526 -ms-hyphens: none;
527 -webkit-hyphens: none;
528 hyphens: none;
529}
530
531td.linenos pre {
532 padding: 5px 0px;
533 border: 0;
534 background-color: transparent;
535 color: #aaa;
536}
537
538table.highlighttable {
539 margin-left: 0.5em;
540}
541
542table.highlighttable td {
543 padding: 0 0.5em 0 0.5em;
544}
545
546div.code-block-caption {
547 padding: 2px 5px;
548 font-size: small;
549}
550
551div.code-block-caption code {
552 background-color: transparent;
553}
554
555div.code-block-caption + div > div.highlight > pre {
556 margin-top: 0;
557}
558
559div.code-block-caption span.caption-number {
560 padding: 0.1em 0.3em;
561 font-style: italic;
562}
563
564div.code-block-caption span.caption-text {
565}
566
567div.literal-block-wrapper {
568 padding: 1em 1em 0;
569}
570
571div.literal-block-wrapper div.highlight {
572 margin: 0;
573}
574
575code.descname {
576 background-color: transparent;
577 font-weight: bold;
578 font-size: 1.2em;
579}
580
581code.descclassname {
582 background-color: transparent;
583}
584
585code.xref, a code {
586 background-color: transparent;
587 font-weight: bold;
588}
589
590h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
591 background-color: transparent;
592}
593
594.viewcode-link {
595 float: right;
596}
597
598.viewcode-back {
599 float: right;
600 font-family: sans-serif;
601}
602
603div.viewcode-block:target {
604 margin: -1px -10px;
605 padding: 0 10px;
606}
607
608/* -- math display ---------------------------------------------------------- */
609
610img.math {
611 vertical-align: middle;
612}
613
614div.body div.math p {
615 text-align: center;
616}
617
618span.eqno {
619 float: right;
620}
621
622span.eqno a.headerlink {
623 position: relative;
624 left: 0px;
625 z-index: 1;
626}
627
628div.math:hover a.headerlink {
629 visibility: visible;
630}
631
632/* -- printout stylesheet --------------------------------------------------- */
633
634@media print {
635 div.document,
636 div.documentwrapper,
637 div.bodywrapper {
638 margin: 0 !important;
639 width: 100%;
640 }
641
642 div.sphinxsidebar,
643 div.related,
644 div.footer,
645 #top-link {
646 display: none;
647 }
648}