Home | History | Annotate | Download | only in docs
      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