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