docs/dex-format.css

   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 }