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