1h1 {
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}
388