blob: c18053398fc1ebf0f0cbe97d0cdfe7371b53fb82 [file] [log] [blame]
Andrew Geisslerc9f78652020-09-18 14:11:35 -05001/*
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}