blob: c25293076afb840baddb7a5eaeb5b554354af48a [file] [log] [blame]
Gilles Peskine6c723a22020-04-17 16:57:52 +02001/* CSS overrides for the html output */
2
3body {
4 font-family: Calibri, sans-serif;
5 font-size: 17px;
6}
7
8div.document {
9 width: 1080px;
10}
11
12div.body h1,
13div.body h2,
14div.body h3,
15div.body h4,
16div.body h5,
17div.body h6 {
18 font-family: Calibri, sans-serif;
19 font-weight: bold;
20}
21
22div.sphinxsidebar h3,
23div.sphinxsidebar h4 {
24 font-family: Calibri, sans-serif;
25}
26
27a {
28 color: #0091BD;
29 text-decoration: none;
30}
31
32a.reference {
33 border-bottom: none;
34}
35
36tt, code {
37 font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
38 font-size: 0.85em;
39 background-color: white;
40}
41
42code.xref, a code {
43 font-weight: normal;
44 color: #0091BD;
45 background-color: white;
46}
47
48pre {
49 font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
50 font-size: 0.8em;
51 background: #F7F7F7;
52 padding: 7px 10px;
53 margin: 15px 0px 15px 15px;
54 line-height: 1.3em;
55}
56
57table.docutils {
58 border: 0;
59 width: 100%;
60 -moz-box-shadow: none;
61 -webkit-box-shadow: none;
62 box-shadow: none;
63 border-top: 1px solid #AAA;
64 border-bottom: 1px solid #AAA;
65}
66
67table.docutils td, table.docutils th {
68 border: 0;
69 padding: 0.3em 0.5em 0.3em 0.5em;
70 text-align: left;
71 vertical-align: top;
72}
73
74table.docutils th {
75 border-bottom: 1px solid #AAA;
76}
77
78.small-caps {
79 font-variant: small-caps;
80}
81
82div.admonition {
83 margin: 5px 15px;
84 padding: 5px 15px;
85 background-color: #FFF;
86 border: 0;
87 border-left: 6px solid #DDD;
88}
89
90div.warning {
91 border-left: 6px solid #FBB;
92}
93
94div.admonition p.admonition-title {
95 font-family: Calibri, sans-serif;
96 font-weight: bold;
97 font-size: 90%;
98}
99
100div.warning p.admonition-title {
101 color: darkred;
102}
103
104div.admonition p {
105 margin-top: 0;
106 margin-bottom: 5px;
107}
108
109p.admonition-title:after {
110 content: "";
111}