1/*
2    SPDX-License-Identifier: CC-BY-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 .important .admonition-title {
130        background: #f0f0f2;
131        color: #00557D;
132
133    }
134
135    .rst-content .note,
136    .rst-content .tip,
137    .rst-content .important,
138    .rst-content .warning,
139    .rst-content .caution  {
140        background: #f0f0f2;
141    }
142
143    /* Remove the icon in front of note/tip element, and before the logo */
144    .icon-home:before, .rst-content .admonition-title:before {
145        display: none
146    }
147
148    /* a custom informalexample container is used in some doc */
149    .informalexample {
150        border: 1px solid;
151        border-color: #aaa;
152        margin: 1em 0em;
153        padding: 1em;
154        page-break-inside: avoid;
155    }
156
157    /* Remove the blue background in the top left corner, around the logo */
158    .wy-side-nav-search {
159        background: inherit;
160    }
161
162}
163