summaryrefslogtreecommitdiffstats
path: root/documentation/sphinx-static
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/sphinx-static')
-rw-r--r--documentation/sphinx-static/theme_overrides.css146
1 files changed, 146 insertions, 0 deletions
diff --git a/documentation/sphinx-static/theme_overrides.css b/documentation/sphinx-static/theme_overrides.css
new file mode 100644
index 0000000000..adf0eb81b8
--- /dev/null
+++ b/documentation/sphinx-static/theme_overrides.css
@@ -0,0 +1,146 @@
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
77.wy-nav-content a {
78 text-decoration: underline;
79 color: #444;
80 background: transparent;
81}
82
83.wy-nav-content a:hover {
84 text-decoration: underline;
85 background-color: #dedede;
86}
87
88.wy-nav-content a:visited {
89 color: #444;
90}
91
92[alt='Permalink'] { color: #eee; }
93[alt='Permalink']:hover { color: black; }
94
95@media screen {
96 /* content column
97 *
98 * RTD theme's default is 800px as max width for the content, but we have
99 * tables with tons of columns, which need the full width of the view-port.
100 */
101
102 .wy-nav-content{max-width: none; }
103
104 /* inline literal: drop the borderbox, padding and red color */
105 code, .rst-content tt, .rst-content code {
106 color: inherit;
107 border: none;
108 padding: unset;
109 background: inherit;
110 font-size: 85%;
111 }
112
113 .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
114 color: inherit;
115 }
116
117 /* Admonition should be gray, not blue or green */
118 .rst-content .note .admonition-title, .rst-content .tip .admonition-title {
119 background: #f0f0f2;
120 color: #00557D;
121
122 }
123 .rst-content .note, .rst-content .tip {
124 background: #f0f0f2;
125 }
126
127 /* Remove the icon in front of note/tip element, and before the logo */
128 .icon-home:before, .rst-content .admonition-title:before {
129 display: none
130 }
131
132 /* a custom informalexample container is used in some doc */
133 .informalexample {
134 border: 1px solid;
135 border-color: #aaa;
136 margin: 1em 0em;
137 padding: 1em;
138 page-break-inside: avoid;
139 }
140
141 /* Remove the blue background in the top left corner, around the logo */
142 .wy-side-nav-search {
143 background: inherit;
144 }
145
146}