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