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.)
7 * Adapted Boost.Spirit stylesheet (www.boost.org/libs/spirit)
12 background-color: #FFFFFF;
13 margin: 1em 2em 1em 2em;
16 H1, H2, H3, H4, H5, H6
18 font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
24 H1 { text-align: left }
25 H2 { font-size: 140% }
26 H3 { font-size: 120% }
27 H5 { font-style: italic }
28 H6 { font-variant: small-caps }
30 A: { text-decoration:none }
31 A:link { text-decoration:none }
32 A:visited { text-decoration:none }
33 A:active { text-decoration:none }
34 A:hover { text-decoration:underline }
38 margin-top:0;margin-bottom:0;
39 padding-top:0;padding-bottom:0
41 DT DL { margin-left:2em; }
45 border-top: gray 1pt solid;
46 border-right: gray 1pt solid;
47 border-left: gray 1pt solid;
48 border-bottom: gray 1pt solid;
56 font-family: "courier new", courier, mono;
57 background-color: #eeeeee; font-size: small
63 background-color:#FFFFFF;
71 font-family: "Times New Roman", Times, serif
73 background-color:#FFFFFF;
84 /* H3 CODE { font-size: 120% } */
88 font-family: "Courier New", Courier, mono
91 P CODE { font-size: 80% }
92 T CODE { font-size: 80% }
93 TD CODE { font-size: 80% }
94 TH CODE { font-size: 80% }
95 DL CODE { font-size: 80% }
96 DT CODE { font-size: 80% }
97 UL CODE { font-size: 80% }
98 OL CODE { font-size: 80% }
99 H3 CODE { font-size: 105% }
100 H4 CODE { font-size: 105% }
105 font-family: "Courier New", Courier, mono;
112 font-family: "Times New Roman", Times, serif
117 font-family: "Times New Roman", Times, serif
122 font-family: "Times New Roman", Times, serif
127 list-style-type: square;
128 list-style-image: url("wedge.gif");
131 TABLE { margin-left:2em }
132 TABLE.concept { margin-left:0 }
134 /* LI.square { list-style-type: square } */
136 /* A.footnote_ref { text-decoration: none } */
137 /* A.bib_ref { text-decoration: none } */
139 A.caption_ref::visited { color: black }
141 A::visited { color: #3344cc }
143 H4.banner { margin:.3em }
145 TD.banner { text-align:center }
151 font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
160 font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
162 text-decoration:none;
164 A.menu:visited { color: black; }
170 font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
172 text-decoration:none;
175 DIV.nav { text-align: right; padding-top: 0.3em }
176 .nav A { padding-left: 0.3em }
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}
184 A.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 }
201 font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif
206 font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
209 text-decoration: none