1 /*=============================================================================
2 Copyright (c) 2004 Joel de Guzman
3 http://spirit.sourceforge.net/
5 Distributed under the Boost Software License, Version 1.0. (See accompany-
6 ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
7 =============================================================================*/
9 /*=============================================================================
11 =============================================================================*/
16 font-family: sans-serif;
19 /*=============================================================================
21 =============================================================================*/
30 /*=============================================================================
32 =============================================================================*/
34 /* Code on paragraphs */
43 margin: 1pc 4% 0pc 4%;
44 padding: 0.5pc 0.5pc 0.5pc 0.5pc;
52 margin: 1pc 4% 0pc 4%;
53 padding: 0.5pc 0.5pc 0.5pc 0.5pc;
56 /* Program listings in tables don't get borders */
60 margin: 0pc 0pc 0pc 0pc;
61 padding: 0pc 0pc 0pc 0pc;
64 /*=============================================================================
66 =============================================================================*/
68 h1, h2, h3, h4, h5, h6
71 margin: 1em 0em 0.5em 0em;
75 h1 { font-size: 140%; }
76 h2 { font-weight: bold; font-size: 140%; }
77 h3 { font-weight: bold; font-size: 130%; }
78 h4 { font-weight: bold; font-size: 120%; }
79 h5 { font-weight: normal; font-style: italic; font-size: 110%; }
80 h6 { font-weight: normal; font-style: italic; font-size: 100%; }
96 h1.title { font-size: 140% }
97 h2.title { font-size: 140% }
98 h3.title { font-size: 130% }
99 h4.title { font-size: 120% }
100 h5.title { font-size: 110% }
101 h6.title { font-size: 100% }
105 margin: 0em 0em 0.5em 0em;
109 .section h2 { font-size: 140% }
110 .section h3 { font-size: 130% }
111 .section h4 { font-size: 120% }
112 .section h5 { font-size: 110% }
113 .section h6 { font-size: 100% }
116 h1 tt.computeroutput { font-size: 140% }
117 h2 tt.computeroutput { font-size: 140% }
118 h3 tt.computeroutput { font-size: 130% }
119 h4 tt.computeroutput { font-size: 130% }
120 h5 tt.computeroutput { font-size: 130% }
121 h6 tt.computeroutput { font-size: 130% }
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 =============================================================================*/
204 /*=============================================================================
206 =============================================================================*/
210 margin: 1pc 4% 0pc 4%;
211 padding: 0.1pc 1pc 0.1pc 1pc;
223 .toc .computeroutput { font-size: 120% }
225 /* No margin on nested menus */
227 .toc dl dl { margin: 0; }
229 /*=============================================================================
231 =============================================================================*/
237 padding-right: 0.5em;
241 .informaltable table,
249 div.informaltable table,
256 div.informaltable table tr td,
257 div.table table tr td
264 div.informaltable table tr th,
265 div.table table tr th
267 padding: 0.5em 0.5em 0.5em 0.5em;
268 border: 1pt solid white;
274 width: auto !important;
275 margin: 0em !important;
276 padding: 0em !important;
277 border: none !important;
281 margin: 0em !important;
282 padding: 0em !important;
283 text-align: left !important;
284 font-size: 9pt !important;
285 border: none !important;
288 /*=============================================================================
290 =============================================================================*/
299 font-size: 9pt; /* A little bit smaller than the main text */
302 margin: 1pc 4% 0pc 4%;
303 padding: 0.5pc 0.5pc 0.5pc 0.5pc;
311 /*=============================================================================
313 =============================================================================*/
320 /* Make the terms in definition lists bold */
321 div.variablelist dl dt,
328 div.variablelist table tbody tr td
332 padding: 0em 2em 0em 0em;
334 margin: 0em 0em 0.5em 0em;
338 div.variablelist dl dt
340 margin-bottom: 0.2em;
343 div.variablelist dl dd
345 margin: 0em 0em 0.5em 2em;
349 div.variablelist table tbody tr td p,
350 div.variablelist dl dd p
352 margin: 0em 0em 0.5em 0em;
356 /*=============================================================================
358 =============================================================================*/
360 /* Title of books and articles in bibliographies */
368 text-decoration: underline;
373 text-decoration: line-through;
376 /* Copyright, Legal Notice */
377 div div.legalnotice p
382 /*=============================================================================
384 =============================================================================*/
389 background-color: #FFFFFF;
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: #FFFFFF; }
403 .dk_grey_bkd { background-color: #999999; }
406 a, a .keyword, a .identifier, a .special, a .preprocessor
407 a .char, a .comment, a .string, a .number
412 a:visited, a:visited .keyword, a:visited .identifier,
413 a:visited .special, a:visited .preprocessor a:visited .char,
414 a:visited .comment, a:visited .string, a:visited .number
419 h1 a, h2 a, h3 a, h4 a, h5 a, h6 a,
420 h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, h6 a:hover,
421 h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited
423 text-decoration: none; /* no underline */
427 /* Copyright, Legal Notice */
434 div div.legalnotice p
439 /* Program listing */
442 border: 1px solid #DCDCDC;
448 border: 1px solid #DCDCDC;
454 border: 0px solid #DCDCDC;
465 border: 1px solid #DCDCDC;
468 /* Table of contents */
471 border: 1px solid #DCDCDC;
475 div.informaltable table tr td,
476 div.table table tr td
478 border: 1px solid #DCDCDC;
481 div.informaltable table tr th,
482 div.table table tr th
484 background-color: #F0F0F0;
485 border: 1px solid #DCDCDC;
518 /* Program listing */
521 border: 1px solid gray;
527 border: 1px solid gray;
533 border: 0px solid #DCDCDC;
536 /* Table of contents */
539 border: 1px solid gray;
542 .informaltable table,
545 border: 1px solid gray;
546 border-collapse: collapse;
550 div.informaltable table tr td,
551 div.table table tr td
553 border: 1px solid gray;
556 div.informaltable table tr th,
557 div.table table tr th
559 border: 1px solid gray;
562 table.simplelist tr td
564 border: none !important;
574 /*=============================================================================
576 =============================================================================*/
578 span.inlinemediaobject img
580 vertical-align: middle;
583 /*==============================================================================
584 Super and Subscript: style so that line spacing isn't effected, see
585 http://www.adobe.com/cfusion/communityengine/index.cfm?event=showdetails&productId=1&postId=5341
586 ==============================================================================*/
592 vertical-align: baseline;
597 /* For internet explorer: */
601 vertical-align: bottom;