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