blob: 153dd4e8d721af8b0c8d15ac84eb738452aa117e [file] [log] [blame]
Dan Bornstein25705bc2011-04-12 16:23:13 -07001h1 {
2 font-family: serif;
3 border-top-style: solid;
4 border-top-width: 5px;
5 padding-top: 9pt;
6 margin-top: 40pt;
7 color: #222266;
8}
9
10h1.title {
11 border: none;
12}
13
14h2 {
15 font-family: serif;
16 border-top-style: solid;
17 border-top-width: 2px;
18 border-color: #ccccdd;
19 padding-top: 9pt;
20 margin-top: 40pt;
21 margin-bottom: 2pt;
22 color: #222266;
23}
24
25h3 {
26 font-family: serif;
27 font-style: bold;
28 margin-top: 20pt;
29 margin-bottom: 2pt;
30 color: #222266;
31}
32
33h4 {
34 font-family: serif;
35 font-style: italic;
36 margin-top: 2pt;
37 margin-bottom: 2pt;
38 color: #666688;
39}
40
41@media print {
42 table {
43 font-size: 8pt;
44 }
45}
46
47@media screen {
48 table {
49 font-size: 10pt;
50 }
51}
52
53pre {
54 background: #eeeeff;
55 border-color: #aaaaff;
56 border-style: solid;
57 border-width: 1px;
58 margin-left: 40pt;
59 margin-right: 40pt;
60 padding: 6pt;
61}
62
63table {
64 border-collapse: collapse;
65 margin-top: 10pt;
66 margin-left: 40pt;
67 margin-right: 40pt;
68}
69
70table th {
71 font-family: sans-serif;
72 background: #aabbff;
73}
74
75table td {
76 font-family: sans-serif;
77 border-top-style: solid;
78 border-bottom-style: solid;
79 border-width: 1px;
80 border-color: #aaaaff;
81 padding-top: 3pt;
82 padding-bottom: 3pt;
83 padding-left: 3pt;
84 padding-right: 4pt;
85 background: #eeeeff;
86}
87
88table p {
89 margin-bottom: 0pt;
90}
91
92/* for the bnf syntax sections */
93
94table.bnf {
95 background: #eeeeff;
96 border-color: #aaaaff;
97 border-style: solid;
98 border-width: 1px;
99 margin-top: 3pt;
100 margin-bottom: 3pt;
101 padding-top: 2pt;
102 padding-bottom: 6pt;
103 padding-left: 6pt;
104 padding-right: 6pt;
105}
106
107table.bnf td {
108 border: none;
109 padding-left: 6pt;
110 padding-right: 6pt;
111 padding-top: 1pt;
112 padding-bottom: 1pt;
113}
114
115table.bnf td:first-child {
116 padding-right: 0pt;
117 width: 8pt;
118}
119
120table.bnf td:first-child td {
121 padding-left: 0pt;
122}
123
124table.bnf td.def {
125 padding-top: 6pt;
126}
127
128table.bnf td.bar {
129 padding-left: 15pt;
130}
131
132table.bnf code {
133 font-weight: bold;
134}
135
136
137/* for the type name guide */
138
139table.guide {
140 margin-top: 20pt;
141 margin-bottom: 20pt;
142}
143
144table.guide td:first-child {
145 font-family: monospace;
146 width: 15%;
147}
148
149table.guide td:first-child + td {
150 font-family: sans-serif;
151 width: 85%;
152}
153
154
155/* for the LEB128 example tables */
156
157table.leb128Bits {
158 margin-top: 20pt;
159 margin-bottom: 20pt;
160}
161
162table.leb128Bits td {
163 border-left: solid #aaaaff 1px;
164 border-right: solid #aaaaff 1px;
165}
166
167table.leb128Bits td.start1 {
168 border-left: none;
169}
170
171table.leb128Bits td.start2 {
172 border-left: solid #000 2px;
173}
174
175table.leb128Bits td.end2 {
176 border-right: none;
177}
178
179table.leb128 {
180 margin-top: 20pt;
181 margin-bottom: 20pt;
182}
183
184table.leb128 td:first-child {
185 font-family: monospace;
186 text-align: center;
187 width: 31%;
188}
189
190table.leb128 td:first-child + td {
191 font-family: monospace;
192 text-align: center;
193 width: 23%;
194}
195
196table.leb128 td:first-child + td + td {
197 font-family: monospace;
198 text-align: center;
199 width: 23%;
200}
201
202table.leb128 td:first-child + td + td + td {
203 font-family: monospace;
204 text-align: center;
205 width: 23%;
206}
207
208
209/* for the general format tables */
210
211table.format {
212 margin-top: 20pt;
213 margin-bottom: 20pt;
214}
215
216table.format td:first-child {
217 font-family: monospace;
218 width: 20%;
219}
220
221table.format td:first-child + td {
222 font-family: monospace;
223 width: 20%;
224}
225
226table.format td:first-child + td + td {
227 width: 60%;
228}
229
230table.format td i {
231 font-family: sans-serif;
232}
233
234
235/* for the type code table */
236
237table.typeCodes {
238 margin-top: 20pt;
239 margin-bottom: 20pt;
240}
241
242table.typeCodes td:first-child {
243 font-family: monospace;
244 width: 30%;
245}
246
247table.typeCodes td:first-child + td {
248 font-family: monospace;
249 width: 30%;
250}
251
252table.typeCodes td:first-child + td + td {
253 font-family: monospace;
254 width: 10%;
255}
256
257table.typeCodes td:first-child + td + td + td {
258 font-family: monospace;
259 width: 30%;
260}
261
262table.typeCodes td i {
263 font-family: sans-serif;
264}
265
266
267/* for the access flags table */
268
269table.accessFlags {
270 margin-top: 20pt;
271 margin-bottom: 20pt;
272}
273
274table.accessFlags td:first-child {
275 font-family: monospace;
276 width: 10%;
277}
278
279table.accessFlags td:first-child + td {
280 font-family: monospace;
281 width: 6%;
282}
283
284table.accessFlags td:first-child + td + td {
285 width: 28%;
286}
287
288table.accessFlags td:first-child + td + td + td {
289 width: 28%;
290}
291
292table.accessFlags td:first-child + td + td + td + td {
293 width: 28%;
294}
295
296table.accessFlags i {
297 font-family: sans-serif;
298}
299
300
301/* for the descriptor table */
302
303table.descriptor {
304 margin-top: 20pt;
305 margin-bottom: 20pt;
306}
307
308table.descriptor td:first-child {
309 font-family: monospace;
310 width: 25%;
311}
312
313table.descriptor td:first-child + td {
314 font-family: sans-serif;
315 width: 75%;
316}
317
318
319/* for the debug bytecode table */
320
321table.debugByteCode {
322 margin-top: 20pt;
323 margin-bottom: 20pt;
324}
325
326table.debugByteCode td:first-child {
327 font-family: monospace;
328 width: 20%;
329}
330
331table.debugByteCode td:first-child + td {
332 font-family: monospace;
333 width: 5%;
334}
335
336table.debugByteCode td:first-child + td + td{
337 font-family: monospace;
338 width: 15%;
339}
340
341table.debugByteCode td:first-child + td + td + td {
342 width: 25%;
343}
344
345table.debugByteCode td:first-child + td + td + td + td {
346 width: 35%;
347}
348
349table.debugByteCode i {
350 font-family: sans-serif;
351}
352
353
354/* for the encoded value table */
355
356table.encodedValue {
357 margin-top: 20pt;
358 margin-bottom: 20pt;
359}
360
361table.encodedValue td:first-child {
362 font-family: monospace;
363 width: 12%;
364}
365
366table.encodedValue td:first-child + td {
367 font-family: monospace;
368 width: 10%;
369}
370
371table.encodedValue td:first-child + td + td {
372 font-family: monospace;
373 width: 15%;
374}
375
376table.encodedValue td:first-child + td + td + td {
377 font-family: monospace;
378 width: 15%;
379}
380
381table.encodedValue td:first-child + td + td + td + td {
382 width: 48%;
383}
384
385table.encodedValue td i {
386 font-family: sans-serif;
387}