blob: 0cc76ba12470a9f3257be346a4197b196d1c1ad8 [file] [log] [blame]
Gilles Peskine882f7c72022-04-07 13:44:55 +02001/* CSS overrides for the html output */
2
3body {
4 font-family: Calibri, sans-serif;
5 font-size: 15px;
6}
7
8div.document {
9 width: 900px;
10}
11
12div.bodywrapper {
13 margin: 0 0 0 180px;
14}
15
16div.sphinxsidebar {
17 width: 180px;
18 font-size: 12.5px;
19}
20
21div.body h1,
22div.body h2,
23div.body h3,
24div.body h4,
25div.body h5,
26div.body h6 {
27 font-family: Calibri, sans-serif;
28 font-weight: bold;
29}
30
31div.sphinxsidebar h3,
32div.sphinxsidebar h4 {
33 font-family: Calibri, sans-serif;
34}
35
36a {
37 color: #0091BD;
38 text-decoration: none;
39}
40
41a.reference {
42 border-bottom: none;
43}
44
45a.reference:hover {
46 color: #00617E;
47 border-bottom: 1px solid #00617E;
48 background: unset;
49}
50
51tt, code {
52 font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
53 font-size: 0.85em;
54 background-color: unset;
55}
56
57code.xref, a code {
58 font-weight: normal;
59 color: #0091BD;
60 background-color: unset;
61}
62
63pre {
64 font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
65 font-size: 0.8em;
66 background: #F7F7F7;
67 padding: 7px 10px;
68 margin: 15px 0px 15px 15px;
69 line-height: 1.3em;
70}
71
72table.docutils {
73 border: 0;
74 width: 100%;
75 -moz-box-shadow: none;
76 -webkit-box-shadow: none;
77 box-shadow: none;
78 border-top: 1px solid #AAA;
79 border-bottom: 1px solid #AAA;
80 margin-bottom: 1em;
81}
82
83table.titletable {
84 margin-top: 40px;
85 width: auto;
86 border-top: none;
87 border-bottom: none;
88}
89
90table.docutils caption, div.figure p.caption, figcaption {
91 font-size: 90%;
92 text-align: right;
93}
94
95table.docutils caption span.caption-number, div.figure p.caption span.caption-number, figcaption span.caption-number {
96 font-weight: bold;
97 font-style: normal;
98}
99
100table.docutils td, table.docutils th {
101 border: 0;
102 padding: 0.3em 0.5em 0.3em 0.5em;
103 text-align: left;
104 vertical-align: top;
105}
106
107table.docutils td p, table.docutils th p {
108 margin-block-start: .3em;
109 margin-block-end: .3em;
110}
111
112table.docutils th > p:first-child, table.docutils td > p:first-child {
113 margin-top: 0px;
114}
115
116table.docutils th {
117 font-weight: bold;
118 font-size: 90%;
119}
120
121table.docutils th.stub {
122 border-bottom: none;
123}
124
125table.docutils th.head {
126 border-bottom: 1px solid #AAA;
127}
128
129figure {
130 margin-inline-start: 0px;
131 margin-inline-end: 0px;
132}
133
134div.figure div.legend, figcaption div.legend {
135 font-size: 80%;
136 text-align: center;
137}
138
139div.figure p.caption, div.figure div.legend p, figcaption p, figcaption div.legend {
140 margin-block-start: 0.2em;
141 margin-block-end: 0.5em;
142}
143
144div.admonition {
145 margin: 5px 15px;
146 padding: 5px 15px;
147 background-color: unset;
148 border: 0;
149 border-left: 6px solid #DDD;
150}
151
152div.admonition p.admonition-title {
153 font-family: Calibri, sans-serif;
154 font-weight: bold;
155 font-size: 90%;
156}
157
158p.admonition-title:after {
159 content: "";
160}
161
162div.admonition p {
163 margin-top: 0;
164 margin-bottom: 5px;
165}
166
167div.admonition tt.xref, div.admonition code.xref, div.admonition a tt {
168 background-color: unset;
169}
170
171div.highlight {
172 background-color: unset;
173}
174
175div.admonition div.highlight pre {
176 background-color: unset;
177}
178
179div.warning {
180 border-left: 6px solid #FBB;
181}
182
183div.warning p.admonition-title {
184 color: darkred;
185}
186
187div.banner {
188 border: 2px solid #CC0;
189 background-color: #FFB;
190}
191
192div.rationale {
193 border-left: 6px solid #BFB;
194 background-color: #EFE;
195}
196
197div.rationale p.admonition-title {
198 color: darkgreen;
199}
200
201div.admonition-todo {
202 border-left: 6px solid #CC0;
203 background-color: #FFB;
204}
205
206div.admonition-todo p.admonition-title {
207 color: #660;
208}
209
210.scterm, .sc {
211 font-variant: small-caps;
212 text-transform: lowercase;
213}
214
215.license{
216 font-size: 80%;
217}
218
219.anchor {
220 color: #0091BD;
221}
222
223.issue {
224 color: red;
225}
226
227.term {
228 font-style: italic;
229}
230
231.secref {
232 font-style: italic;
233}
234
235.sectiontitle {
236 display: block;
237 margin-top: 30px;
238 font-weight: bold;
239 font-size: 180%;
240}
241
242p.titlecopyright {
243 font-size: 70%;
244 text-align: right;
245}