pyrox.dev
1/* Copied from http://bakefile.sourceforge.net/, which appears
2 licensed under the GNU GPL. */
3
4
5/***************************************************************************
6 Basic headers and text:
7 ***************************************************************************/
8
9body
10{
11 font-family: "Nimbus Sans L", sans-serif;
12 font-size: 1em;
13 background: white;
14 margin: 2em 1em 2em 1em;
15}
16
17h1, h2, h3, h4
18{
19 color: #005aa0;
20}
21
22h1 /* title */
23{
24 font-size: 200%;
25}
26
27h2 /* chapters, appendices, subtitle */
28{
29 font-size: 180%;
30}
31
32div.book
33{
34 text-align: center;
35}
36
37div.book > div
38{
39 /*
40 * based on https://medium.com/@zkareemz/golden-ratio-62b3b6d4282a
41 * we do 70 characters per line to fit code listings better
42 * 70 * (font-size / 1.618)
43 * expression for emacs:
44 * (* 70 (/ 1 1.618))
45 */
46 max-width: 43.2em;
47 text-align: left;
48 margin: auto;
49}
50
51/* Extra space between chapters, appendices. */
52div.chapter > div.titlepage h2, div.appendix > div.titlepage h2
53{
54 margin-top: 1.5em;
55}
56
57div.section > div.titlepage h2 /* sections */
58{
59 font-size: 150%;
60 margin-top: 1.5em;
61}
62
63h3 /* subsections */
64{
65 font-size: 125%;
66}
67
68div.simplesect h2
69{
70 font-size: 110%;
71}
72
73div.appendix h3
74{
75 font-size: 150%;
76 margin-top: 1.5em;
77}
78
79div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
80{
81 margin-top: 1.4em;
82 font-size: 125%;
83}
84
85div.refsection h3
86{
87 font-size: 110%;
88}
89
90
91/***************************************************************************
92 Examples:
93 ***************************************************************************/
94
95div.example
96{
97 border: 1px solid #b0b0b0;
98 padding: 6px 6px;
99 margin-left: 1.5em;
100 margin-right: 1.5em;
101 background: #f4f4f8;
102 border-radius: 0.4em;
103 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
104}
105
106div.example p.title
107{
108 margin-top: 0em;
109}
110
111div.example pre
112{
113 box-shadow: none;
114}
115
116
117/***************************************************************************
118 Screen dumps:
119 ***************************************************************************/
120
121pre.screen, pre.programlisting
122{
123 border: 1px solid #b0b0b0;
124 padding: 3px 3px;
125 margin-left: 0.5em;
126 margin-right: 0.5em;
127
128 background: #f4f4f8;
129 font-family: monospace;
130 border-radius: 0.4em;
131 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
132}
133
134div.example pre.programlisting
135{
136 border: 0px;
137 padding: 0 0;
138 margin: 0 0 0 0;
139}
140
141/***************************************************************************
142 Notes, warnings etc:
143 ***************************************************************************/
144
145.note, .warning
146{
147 border: 1px solid #b0b0b0;
148 padding: 3px 3px;
149 margin-left: 1.5em;
150 margin-right: 1.5em;
151 margin-bottom: 1em;
152 padding: 0.3em 0.3em 0.3em 0.3em;
153 background: #fffff5;
154 border-radius: 0.4em;
155 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
156}
157
158div.note, div.warning
159{
160 font-style: italic;
161}
162
163div.note h3, div.warning h3
164{
165 color: red;
166 font-size: 100%;
167 padding-right: 0.5em;
168 display: inline;
169}
170
171div.note p, div.warning p
172{
173 margin-bottom: 0em;
174}
175
176div.note h3 + p, div.warning h3 + p
177{
178 display: inline;
179}
180
181div.note h3
182{
183 color: blue;
184 font-size: 100%;
185}
186
187div.navfooter *
188{
189 font-size: 90%;
190}
191
192
193/***************************************************************************
194 Links colors and highlighting:
195 ***************************************************************************/
196
197a { text-decoration: none; }
198a:hover { text-decoration: underline; }
199a:link { color: #0048b3; }
200a:visited { color: #002a6a; }
201
202
203/***************************************************************************
204 Table of contents:
205 ***************************************************************************/
206
207div.toc
208{
209 font-size: 90%;
210}
211
212div.toc dl
213{
214 margin-top: 0em;
215 margin-bottom: 0em;
216}
217
218
219/***************************************************************************
220 Special elements:
221 ***************************************************************************/
222
223tt, code
224{
225 color: #400000;
226}
227
228.term
229{
230 font-weight: bold;
231
232}
233
234div.variablelist dd p, div.glosslist dd p
235{
236 margin-top: 0em;
237}
238
239div.variablelist dd, div.glosslist dd
240{
241 margin-left: 1.5em;
242}
243
244div.glosslist dt
245{
246 font-style: italic;
247}
248
249.varname
250{
251 color: #400000;
252}
253
254span.command strong
255{
256 font-weight: normal;
257 color: #400000;
258}
259
260div.calloutlist table
261{
262 box-shadow: none;
263}
264
265table
266{
267 border-collapse: collapse;
268 box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
269}
270
271table.simplelist
272{
273 text-align: left;
274 color: #005aa0;
275 border: 0;
276 padding: 5px;
277 background: #fffff5;
278 font-weight: normal;
279 font-style: italic;
280 box-shadow: none;
281 margin-bottom: 1em;
282}
283
284div.navheader table, div.navfooter table {
285 box-shadow: none;
286}
287
288div.affiliation
289{
290 font-style: italic;
291}