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;