• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1/*
2 * (C) Copyright 2008 CodeRage, LLC (turkanis at coderage dot com)
3 * (C) Copyright 2004-2007 Jonathan Turkanis
4 * Distributed under the Boost Software License, Version 1.0. (See accompanying
5 * file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt.)
6 *
7 * Adapted Boost.Spirit stylesheet (www.boost.org/libs/spirit)
8 */
9
10BODY
11{
12    background-color: #FFFFFF;
13    margin: 1em 2em 1em 2em;
14}
15
16H1, H2, H3, H4, H5, H6
17{
18    font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
19    font-weight: bold;
20    text-align: left;
21    color: black
22}
23
24H1 { text-align: left }
25H2 { font-size: 140% }
26H3 { font-size: 120% }
27H5 { font-style: italic  }
28H6 { font-variant: small-caps }
29
30A: { text-decoration:none }
31A:link { text-decoration:none }
32A:visited { text-decoration:none }
33A:active { text-decoration:none }
34A:hover { text-decoration:underline }
35
36DL
37{
38    margin-top:0;margin-bottom:0;
39    padding-top:0;padding-bottom:0
40}
41DT DL { margin-left:2em; }
42
43PRE
44{
45    border-top: gray 1pt solid;
46    border-right: gray 1pt solid;
47    border-left: gray 1pt solid;
48    border-bottom: gray 1pt solid;
49
50    padding-top: 2pt;
51    padding-right: 2pt;
52    padding-left: 2pt;
53    padding-bottom: 2pt;
54
55    display: block;
56    font-family: "courier new", courier, mono;
57    background-color: #eeeeee; font-size: small
58}
59
60PRE.plain_code
61{
62    font-size: 100%;
63    background-color:#FFFFFF;
64    border:none;
65    margin:0;
66    padding:0
67}
68
69PRE.plain
70{
71    font-family: "Times New Roman", Times, serif
72    font-size: 100%;
73    background-color:#FFFFFF;
74    border:none;
75    margin:0;
76    padding:0
77}
78
79PRE.broken_ie
80{
81    font-size: 10pt
82}
83
84/* H3 CODE { font-size: 120% } */
85
86CODE
87{
88    font-family: "Courier New", Courier, mono
89}
90
91P CODE { font-size: 80% }
92T CODE { font-size: 80% }
93TD CODE { font-size: 80% }
94TH CODE { font-size: 80% }
95DL CODE { font-size: 80% }
96DT CODE { font-size: 80% }
97UL CODE { font-size: 80% }
98OL CODE { font-size: 80% }
99H3 CODE { font-size: 105% }
100H4 CODE { font-size: 105% }
101
102TT
103{
104    display: inline;
105    font-family: "Courier New", Courier, mono;
106    color: #000099;
107    font-size: small
108}
109
110P
111{
112    font-family: "Times New Roman", Times, serif
113}
114
115UL
116{
117    font-family: "Times New Roman", Times, serif
118}
119
120OL
121{
122    font-family: "Times New Roman", Times, serif
123}
124
125UL LI
126{
127    list-style-type: square;
128    list-style-image: url("wedge.gif");
129}
130
131TABLE { margin-left:2em }
132TABLE.concept { margin-left:0 }
133
134/* LI.square { list-style-type: square } */
135
136/* A.footnote_ref { text-decoration: none } */
137/* A.bib_ref { text-decoration: none } */
138
139A.caption_ref::visited { color: black }
140
141A::visited { color: #3344cc }
142
143H4.banner { margin:.3em }
144
145TD.banner { text-align:center }
146
147A.banner
148{
149    color: black;
150    font-size: 120%
151    font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
152    font-weight: bold;
153    text-decoration:none
154}
155
156.menu
157{
158    color: black;
159    font-size: 70%;
160    font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
161    font-weight: bold;
162    text-decoration:none;
163}
164A.menu:visited { color: black; }
165
166.menu_disabled
167{
168    color: #999999;
169    font-size: 70%;
170    font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
171    font-weight: bold;
172    text-decoration:none;
173}
174
175DIV.nav { text-align: right; padding-top: 0.3em }
176.nav A { padding-left: 0.3em }
177
178.title                  { text-align: center; margin:1.5em }
179.literal                { color: #790000; /*#444444; font-style: italic*/}
180.numeric_literal        { color: #990000}
181.keyword                { color: #0000CC; /*#000080 font-weight: bold;*/ }
182.library                { font-weight: bold; color: #000000}
183.documented             { font-weight: bold; color: #000000}
184A.documented::visited   { font-weight: bold; color: #000000; text-decoration:none}
185.defined                { font-weight: bold; color: #525252}
186.comment                { font-style: italic; color: #008000}
187.special                { color: #800040}
188.preprocessor           { color: #008000}
189.string                 { font-style: italic; color: #666666}
190.copyright              { font-size: small}
191.white_bkd              { background-color: #FFFFFF}
192.dk_grey_bkd            { background-color: #999999}
193.quotes                 { color: #666666; font-style: italic; font-weight: bold}
194.omitted                { color: #007236; font-style: italic }
195.banner                 { text-align: center }
196/* .header                 { text-decoration: none } */
197.semantics              { font-weight:bold }
198.caption
199{
200    font-size: 65%;
201    font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif
202}
203.caption_ref
204{
205    font-size: 80%;
206    font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
207    font-weight: bold;
208    color: black;
209    text-decoration: none
210}
211.term
212{
213    font-weight: bold;
214    font-style: italic
215}
216.copyright
217{
218    font: 80%/120%;
219    margin:0
220}