1
/*=============================================================================
2
Copyright (c) 2004 Joel de Guzman
3
http://spirit.sourceforge.net/
5
Use, modification and distribution is subject to the Boost Software
6
License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
7
http://www.boost.org/LICENSE_1_0.txt)
8
=============================================================================*/
10
/*=============================================================================
12
=============================================================================*/
17
font-family: sans-serif;
20
/*=============================================================================
22
=============================================================================*/
31
/*=============================================================================
33
=============================================================================*/
35
/* Code on paragraphs */
44
margin: 1pc 4% 0pc 4%;
45
padding: 0.5pc 0.5pc 0.5pc 0.5pc;
53
margin: 1pc 4% 0pc 4%;
54
padding: 0.5pc 0.5pc 0.5pc 0.5pc;
57
/* Program listings in tables don't get borders */
61
margin: 0pc 0pc 0pc 0pc;
62
padding: 0pc 0pc 0pc 0pc;
65
/*=============================================================================
67
=============================================================================*/
69
h1, h2, h3, h4, h5, h6
72
margin: 1em 0em 0.5em 0em;
77
h2 { font: bold 140% }
78
h3 { font: bold 130% }
79
h4 { font: bold 120% }
80
h5 { font: italic 110% }
81
h6 { font: italic 100% }
97
h1.title { font-size: 140% }
98
h2.title { font-size: 140% }
99
h3.title { font-size: 130% }
100
h4.title { font-size: 120% }
101
h5.title { font-size: 110% }
102
h6.title { font-size: 100% }
106
margin: 0em 0em 0.5em 0em;
110
.section h2 { font-size: 140% }
111
.section h3 { font-size: 130% }
112
.section h4 { font-size: 120% }
113
.section h5 { font-size: 110% }
114
.section h6 { font-size: 100% }
117
h1 tt.computeroutput { font-size: 140% }
118
h2 tt.computeroutput { font-size: 140% }
119
h3 tt.computeroutput { font-size: 130% }
120
h4 tt.computeroutput { font-size: 120% }
121
h5 tt.computeroutput { font-size: 110% }
122
h6 tt.computeroutput { font-size: 100% }
124
/*=============================================================================
126
=============================================================================*/
133
/*=============================================================================
135
=============================================================================*/
143
/* Unordered lists */
155
/*=============================================================================
157
=============================================================================*/
161
text-decoration: none; /* no underline */
166
text-decoration: underline;
169
/*=============================================================================
170
Spirit style navigation
171
=============================================================================*/
189
/*=============================================================================
191
=============================================================================*/
195
margin: 1pc 4% 0pc 4%;
196
padding: 0.1pc 1pc 0.1pc 1pc;
204
margin: 3pc 16% 3pc 16%;
205
padding: 3pc 1pc 3pc 1pc;
215
/*=============================================================================
217
=============================================================================*/
223
padding-right: 0.5em;
227
.informaltable table,
235
div.informaltable table,
242
div.informaltable table tr td,
243
div.table table tr td
249
div.informaltable table tr th,
250
div.table table tr th
252
padding: 0.5em 0.5em 0.5em 0.5em;
253
border: 1pt solid white;
257
/*=============================================================================
259
=============================================================================*/
271
margin: 1pc 4% 0pc 4%;
272
padding: 0.5pc 0.5pc 0.5pc 0.5pc;
282
/*=============================================================================
284
=============================================================================*/
285
.line_callout_bug img
301
/*=============================================================================
303
=============================================================================*/
305
/* Make the terms in definition lists bold */
306
div.variablelist dl dt,
313
div.variablelist table tbody tr td
317
padding: 0em 2em 0em 0em;
319
margin: 0em 0em 0.5em 0em;
323
/* Make the terms in definition lists bold */
324
div.variablelist dl dt
326
margin-bottom: 0.2em;
329
div.variablelist dl dd
331
margin: 0em 0em 0.5em 2em;
335
div.variablelist table tbody tr td p
336
div.variablelist dl dd p
338
margin: 0em 0em 0.5em 0em;
342
/*=============================================================================
344
=============================================================================*/
346
/* Title of books and articles in bibliographies */
354
text-decoration: underline;
359
text-decoration: line-through;
362
/* Copyright, Legal Notice */
363
div div.legalnotice p
368
/*=============================================================================
370
=============================================================================*/
385
h1 a, h2 a, h3 a, h4 a, h5 a, h6 a,
386
h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, h6 a:hover,
387
h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited
389
text-decoration: none; /* no underline */
393
/* Syntax Highlighting */
394
.keyword { color: #0000AA; }
395
.identifier { color: #000000; }
396
.special { color: #707070; }
397
.preprocessor { color: #402080; }
398
.char { color: teal; }
399
.comment { color: #800000; }
400
.string { color: teal; }
401
.number { color: teal; }
402
.white_bkd { background-color: #E8FBE9; }
403
.dk_grey_bkd { background-color: #A0DAAC; }
405
/* Copyright, Legal Notice */
412
div div.legalnotice p
417
/* Program listing */
420
border: 1px solid #DCDCDC;
421
border-bottom: 3px solid #9D9D9D;
422
border-right: 3px solid #9D9D9D;
423
background-color: #FAFFFB;
429
border: 1px solid #DCDCDC;
430
border-bottom: 3px solid #9D9D9D;
431
border-right: 3px solid #9D9D9D;
432
background-color: #FAFFFB;
438
border: 0px solid #DCDCDC;
449
border: 1px solid #DCDCDC;
450
border-bottom: 3px solid #9D9D9D;
451
border-right: 3px solid #9D9D9D;
452
background-color: #FAFFFB;
455
/* Table of contents */
458
border: 1px solid #DCDCDC;
459
border-bottom: 3px solid #9D9D9D;
460
border-right: 3px solid #9D9D9D;
461
background-color: #FAFFFB;
464
/* Table of contents */
467
border: 1px solid #DCDCDC;
468
border-bottom: 3px solid #9D9D9D;
469
border-right: 3px solid #9D9D9D;
470
background-color: #FAFFFB;
475
div.informaltable table tr td,
476
div.table table tr td
478
border: 1px solid #DCDCDC;
479
background-color: #FAFFFB;
482
div.informaltable table tr th,
483
div.table table tr th
485
background-color: #E3F9E4;
486
border: 1px solid #DCDCDC;
514
/* Program listing */
517
border: 1px solid gray;
518
background-color: #FAFFFB;
524
border: 1px solid gray;
525
background-color: #FAFFFB;
531
border: 0px solid #DCDCDC;
534
/* Table of contents */
537
border: 1px solid #DCDCDC;
538
border-bottom: 3px solid #9D9D9D;
539
border-right: 3px solid #9D9D9D;
540
background-color: #FAFFFB;
543
/* Table of contents */
546
border: 1px solid #DCDCDC;
547
border-bottom: 3px solid #9D9D9D;
548
border-right: 3px solid #9D9D9D;
549
background-color: #FAFFFB;
552
.informaltable table,
555
border: 1px solid #DCDCDC;
556
border-bottom: 3px solid #9D9D9D;
557
border-right: 3px solid #9D9D9D;
558
border-collapse: collapse;
559
background-color: #FAFFFB;
563
div.informaltable table tr td,
564
div.table table tr td
566
border: 1px solid #DCDCDC;
567
background-color: #FAFFFB;
570
div.informaltable table tr th,
571
div.table table tr th
573
border: 1px solid #DCDCDC;
574
background-color: #FAFFFB;