1/*
2    SPDX-License-Identifier: CC-BY-SA-2.0-UK
3*/
4
5body {
6  font-family: Verdana, Sans, sans-serif;
7  margin:  0em auto;
8  color: #333;
9}
10
11h1,h2,h3,h4,h5,h6,h7 {
12  font-family: Arial, Sans;
13  color: #00557D;
14  clear: both;
15}
16
17h1 {
18  font-size: 2em;
19  text-align: left;
20  padding: 0em 0em 0em 0em;
21  margin: 2em 0em 0em 0em;
22}
23
24h2.subtitle {
25  margin: 0.10em 0em 3.0em 0em;
26  padding: 0em 0em 0em 0em;
27  font-size: 1.8em;
28  padding-left: 20%;
29  font-weight: normal;
30  font-style: italic;
31}
32
33h2 {
34  margin: 2em 0em 0.66em 0em;
35  padding: 0.5em 0em 0em 0em;
36  font-size: 1.5em;
37  font-weight: bold;
38}
39
40h3.subtitle {
41  margin: 0em 0em 1em 0em;
42  padding: 0em 0em 0em 0em;
43  font-size: 142.14%;
44  text-align: right;
45}
46
47h3 {
48  margin: 1em 0em 0.5em 0em;
49  padding: 1em 0em 0em 0em;
50  font-size: 140%;
51  font-weight: bold;
52}
53
54h4 {
55  margin: 1em 0em 0.5em 0em;
56  padding: 1em 0em 0em 0em;
57  font-size: 120%;
58  font-weight: bold;
59}
60
61h5 {
62  margin: 1em 0em 0.5em 0em;
63  padding: 1em 0em 0em 0em;
64  font-size: 110%;
65  font-weight: bold;
66}
67
68h6 {
69  margin: 1em 0em 0em 0em;
70  padding: 1em 0em 0em 0em;
71  font-size: 110%;
72  font-weight: bold;
73}
74
75em {
76  font-weight: bold;
77}
78
79.pre {
80  font-size: medium;
81  font-family: Courier, monospace;
82}
83
84.wy-nav-content a {
85  text-decoration: underline;
86  color: #444;
87  background: transparent;
88}
89
90.wy-nav-content a:hover {
91  text-decoration: underline;
92  background-color: #dedede;
93}
94
95.wy-nav-content a:visited {
96  color: #444;
97}
98
99[alt='Permalink'] { color: #eee; }
100[alt='Permalink']:hover { color: black; }
101
102@media screen {
103    /* content column
104     *
105     * RTD theme's default is 800px as max width for the content, but we have
106     * tables with tons of columns, which need the full width of the view-port.
107     */
108
109    .wy-nav-content{max-width: none; }
110
111    /* inline literal: drop the borderbox, padding and red color */
112    code, .rst-content tt, .rst-content code {
113        color: inherit;
114        border: none;
115        padding: unset;
116        background: inherit;
117        font-size: 85%;
118    }
119
120    .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
121        color: inherit;
122    }
123
124    /* Admonition should be gray, not blue or green */
125    .rst-content .note .admonition-title,
126    .rst-content .tip .admonition-title,
127    .rst-content .warning .admonition-title,
128    .rst-content .caution .admonition-title,
129    .rst-content .admonition-tying-it-together .admonition-title,
130    .rst-content .important .admonition-title {
131        background: #f0f0f2;
132        color: #00557D;
133
134    }
135
136    .rst-content .note,
137    .rst-content .tip,
138    .rst-content .important,
139    .rst-content .warning,
140    .rst-content .admonition-tying-it-together,
141    .rst-content .caution  {
142        background: #f0f0f2;
143    }
144
145    /* Remove the icon in front of note/tip element, and before the logo */
146    .icon-home:before, .rst-content .admonition-title:before {
147        display: none
148    }
149
150    /* a custom informalexample container is used in some doc */
151    .informalexample {
152        border: 1px solid;
153        border-color: #aaa;
154        margin: 1em 0em;
155        padding: 1em;
156        page-break-inside: avoid;
157    }
158
159    /* Remove the blue background in the top left corner, around the logo */
160    .wy-side-nav-search {
161        background: inherit;
162    }
163
164}
165