1/* Debug borders */
2p, li, dt, dd, div, pre, h1, h2, h3, h4, h5, h6 {
3/*
4  border: 1px solid red;
5*/
6}
7
8body {
9  margin: 1em 5% 1em 5%;
10}
11
12a {
13  color: blue;
14  text-decoration: underline;
15}
16a:visited {
17  color: fuchsia;
18}
19
20em {
21  font-style: italic;
22  color: navy;
23}
24
25strong {
26  font-weight: bold;
27  color: #083194;
28}
29
30tt {
31  color: navy;
32}
33
34h1, h2, h3, h4, h5, h6 {
35  color: #527bbd;
36  font-family: sans-serif;
37  margin-top: 1.2em;
38  margin-bottom: 0.5em;
39  line-height: 1.3;
40}
41
42h1, h2, h3 {
43  border-bottom: 2px solid silver;
44}
45h2 {
46  padding-top: 0.5em;
47}
48h3 {
49  float: left;
50}
51h3 + * {
52  clear: left;
53}
54
55div.sectionbody {
56  font-family: serif;
57  margin-left: 0;
58}
59
60hr {
61  border: 1px solid silver;
62}
63
64p {
65  margin-top: 0.5em;
66  margin-bottom: 0.5em;
67}
68
69ul, ol, li > p {
70  margin-top: 0;
71}
72
73pre {
74  padding: 0;
75  margin: 0;
76}
77
78span#author {
79  color: #527bbd;
80  font-family: sans-serif;
81  font-weight: bold;
82  font-size: 1.1em;
83}
84span#email {
85}
86span#revnumber, span#revdate, span#revremark {
87  font-family: sans-serif;
88}
89
90div#footer {
91  font-family: sans-serif;
92  font-size: small;
93  border-top: 2px solid silver;
94  padding-top: 0.5em;
95  margin-top: 4.0em;
96}
97div#footer-text {
98  float: left;
99  padding-bottom: 0.5em;
100}
101div#footer-badges {
102  float: right;
103  padding-bottom: 0.5em;
104}
105
106div#preamble {
107  margin-top: 1.5em;
108  margin-bottom: 1.5em;
109}
110div.tableblock, div.imageblock, div.exampleblock, div.verseblock,
111div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
112div.admonitionblock {
113  margin-top: 1.5em;
114  margin-bottom: 1.5em;
115}
116div.admonitionblock {
117  margin-top: 2.5em;
118  margin-bottom: 2.5em;
119}
120
121div.content { /* Block element content. */
122  padding: 0;
123}
124
125/* Block element titles. */
126div.title, caption.title {
127  color: #527bbd;
128  font-family: sans-serif;
129  font-weight: bold;
130  text-align: left;
131  margin-top: 1.0em;
132  margin-bottom: 0.5em;
133}
134div.title + * {
135  margin-top: 0;
136}
137
138td div.title:first-child {
139  margin-top: 0.0em;
140}
141div.content div.title:first-child {
142  margin-top: 0.0em;
143}
144div.content + div.title {
145  margin-top: 0.0em;
146}
147
148div.sidebarblock > div.content {
149  background: #ffffee;
150  border: 1px solid silver;
151  padding: 0.5em;
152}
153
154div.listingblock > div.content {
155  border: 1px solid silver;
156  background: #f4f4f4;
157  padding: 0.5em;
158}
159
160div.quoteblock {
161  padding-left: 2.0em;
162  margin-right: 10%;
163}
164div.quoteblock > div.attribution {
165  padding-top: 0.5em;
166  text-align: right;
167}
168
169div.verseblock {
170  padding-left: 2.0em;
171  margin-right: 10%;
172}
173div.verseblock > div.content {
174  white-space: pre;
175}
176div.verseblock > div.attribution {
177  padding-top: 0.75em;
178  text-align: left;
179}
180/* DEPRECATED: Pre version 8.2.7 verse style literal block. */
181div.verseblock + div.attribution {
182  text-align: left;
183}
184
185div.admonitionblock .icon {
186  vertical-align: top;
187  font-size: 1.1em;
188  font-weight: bold;
189  text-decoration: underline;
190  color: #527bbd;
191  padding-right: 0.5em;
192}
193div.admonitionblock td.content {
194  padding-left: 0.5em;
195  border-left: 2px solid silver;
196}
197
198div.exampleblock > div.content {
199  border-left: 2px solid silver;
200  padding: 0.5em;
201}
202
203div.imageblock div.content { padding-left: 0; }
204span.image img { border-style: none; }
205a.image:visited { color: white; }
206
207dl {
208  margin-top: 0.8em;
209  margin-bottom: 0.8em;
210}
211dt {
212  margin-top: 0.5em;
213  margin-bottom: 0;
214  font-style: normal;
215  color: navy;
216}
217dd > *:first-child {
218  margin-top: 0.1em;
219}
220
221ul, ol {
222    list-style-position: outside;
223}
224ol.arabic {
225  list-style-type: decimal;
226}
227ol.loweralpha {
228  list-style-type: lower-alpha;
229}
230ol.upperalpha {
231  list-style-type: upper-alpha;
232}
233ol.lowerroman {
234  list-style-type: lower-roman;
235}
236ol.upperroman {
237  list-style-type: upper-roman;
238}
239
240div.compact ul, div.compact ol,
241div.compact p, div.compact p,
242div.compact div, div.compact div {
243  margin-top: 0.1em;
244  margin-bottom: 0.1em;
245}
246
247div.tableblock > table {
248  border: 3px solid #527bbd;
249}
250thead {
251  font-family: sans-serif;
252  font-weight: bold;
253}
254tfoot {
255  font-weight: bold;
256}
257td > div.verse {
258  white-space: pre;
259}
260p.table {
261  margin-top: 0;
262}
263/* Because the table frame attribute is overriden by CSS in most browsers. */
264div.tableblock > table[frame="void"] {
265  border-style: none;
266}
267div.tableblock > table[frame="hsides"] {
268  border-left-style: none;
269  border-right-style: none;
270}
271div.tableblock > table[frame="vsides"] {
272  border-top-style: none;
273  border-bottom-style: none;
274}
275
276
277div.hdlist {
278  margin-top: 0.8em;
279  margin-bottom: 0.8em;
280}
281div.hdlist tr {
282  padding-bottom: 15px;
283}
284dt.hdlist1.strong, td.hdlist1.strong {
285  font-weight: bold;
286}
287td.hdlist1 {
288  vertical-align: top;
289  font-style: normal;
290  padding-right: 0.8em;
291  color: navy;
292}
293td.hdlist2 {
294  vertical-align: top;
295}
296div.hdlist.compact tr {
297  margin: 0;
298  padding-bottom: 0;
299}
300
301.comment {
302  background: yellow;
303}
304
305@media print {
306  div#footer-badges { display: none; }
307}
308
309div#toctitle {
310  color: #527bbd;
311  font-family: sans-serif;
312  font-size: 1.1em;
313  font-weight: bold;
314  margin-top: 1.0em;
315  margin-bottom: 0.1em;
316}
317
318div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
319  margin-top: 0;
320  margin-bottom: 0;
321}
322div.toclevel2 {
323  margin-left: 2em;
324  font-size: 0.9em;
325}
326div.toclevel3 {
327  margin-left: 4em;
328  font-size: 0.9em;
329}
330div.toclevel4 {
331  margin-left: 6em;
332  font-size: 0.9em;
333}
334