h1 {
    font-family: serif;
    border-top-style: solid;
    border-top-width: 5px;
    padding-top: 9pt;
    margin-top: 40pt;
    color: #222266;
}

h1.title {
    border: none;
}

h2 {
    font-family: serif;
    border-top-style: solid;
    border-top-width: 2px;
    border-color: #ccccdd;
    padding-top: 9pt;
    margin-top: 40pt;
    margin-bottom: 2pt;
    color: #222266;
}

h3 {
    font-family: serif;
    font-style: bold;
    margin-top: 20pt;
    margin-bottom: 2pt;
    color: #222266;
}

h4 {
    font-family: serif;
    font-style: italic;
    margin-top: 2pt;
    margin-bottom: 2pt;
    color: #666688;
}

@media print {
    table {
        font-size: 8pt;
    }
}

@media screen {
    table {
        font-size: 10pt;
    }
}

pre {
    background: #eeeeff;
    border-color: #aaaaff;
    border-style: solid;
    border-width: 1px;
    margin-left: 40pt;
    margin-right: 40pt;
    padding: 6pt;
}

table {
    border-collapse: collapse;
    margin-top: 10pt;
    margin-left: 40pt;
    margin-right: 40pt;
}

table th {
    font-family: sans-serif;
    background: #aabbff;
}

table td {
    font-family: sans-serif;
    border-top-style: solid;
    border-bottom-style: solid;
    border-width: 1px;
    border-color: #aaaaff;
    padding-top: 3pt;
    padding-bottom: 3pt;
    padding-left: 3pt;
    padding-right: 4pt;
    background: #eeeeff;
}

table p {
    margin-bottom: 0pt;
}

/* for the bnf syntax sections */

table.bnf {
    background: #eeeeff;
    border-color: #aaaaff;
    border-style: solid;
    border-width: 1px;
    margin-top: 3pt;
    margin-bottom: 3pt;
    padding-top: 2pt;
    padding-bottom: 6pt;
    padding-left: 6pt;
    padding-right: 6pt;
}

table.bnf td {
    border: none;
    padding-left: 6pt;
    padding-right: 6pt;
    padding-top: 1pt;
    padding-bottom: 1pt;
}

table.bnf td:first-child {
    padding-right: 0pt;
    width: 8pt;
}

table.bnf td:first-child td {
    padding-left: 0pt;
}

table.bnf td.def {
    padding-top: 6pt;
}

table.bnf td.bar {
    padding-left: 15pt;
}

table.bnf code {
    font-weight: bold;
}


/* for the type name guide */

table.guide {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.guide td:first-child {
    font-family: monospace;
    width: 15%;
}

table.guide td:first-child + td {
    font-family: sans-serif;
    width: 85%;
}


/* for the LEB128 example tables */

table.leb128Bits {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.leb128Bits td {
    border-left: solid #aaaaff 1px;
    border-right: solid #aaaaff 1px;
}

table.leb128Bits td.start1 {
    border-left: none;
}

table.leb128Bits td.start2 {
    border-left: solid #000 2px;
}

table.leb128Bits td.end2 {
    border-right: none;
}

table.leb128 {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.leb128 td:first-child {
    font-family: monospace;
    text-align: center;
    width: 31%;
}

table.leb128 td:first-child + td {
    font-family: monospace;
    text-align: center;
    width: 23%;
}

table.leb128 td:first-child + td + td {
    font-family: monospace;
    text-align: center;
    width: 23%;
}

table.leb128 td:first-child + td + td + td {
    font-family: monospace;
    text-align: center;
    width: 23%;
}


/* for the general format tables */

table.format {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.format td:first-child {
    font-family: monospace;
    width: 20%;
}

table.format td:first-child + td {
    font-family: monospace;
    width: 20%;
}

table.format td:first-child + td + td {
    width: 60%;
}

table.format td i {
    font-family: sans-serif;
}


/* for the type code table */

table.typeCodes {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.typeCodes td:first-child {
    font-family: monospace;
    width: 30%;
}

table.typeCodes td:first-child + td {
    font-family: monospace;
    width: 30%;
}

table.typeCodes td:first-child + td + td {
    font-family: monospace;
    width: 10%;
}

table.typeCodes td:first-child + td + td + td {
    font-family: monospace;
    width: 30%;
}

table.typeCodes td i {
    font-family: sans-serif;
}


/* for the access flags table */

table.accessFlags {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.accessFlags td:first-child {
    font-family: monospace;
    width: 10%;
}

table.accessFlags td:first-child + td {
    font-family: monospace;
    width: 6%;
}

table.accessFlags td:first-child + td + td {
    width: 28%;
}

table.accessFlags td:first-child + td + td + td {
    width: 28%;
}

table.accessFlags td:first-child + td + td + td + td {
    width: 28%;
}

table.accessFlags i {
    font-family: sans-serif;
}


/* for the descriptor table */

table.descriptor {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.descriptor td:first-child {
    font-family: monospace;
    width: 25%;
}

table.descriptor td:first-child + td {
    font-family: sans-serif;
    width: 75%;
}


/* for the debug bytecode table */

table.debugByteCode {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.debugByteCode td:first-child {
    font-family: monospace;
    width: 20%;
}

table.debugByteCode td:first-child + td {
    font-family: monospace;
    width: 5%;
}

table.debugByteCode td:first-child + td + td{
    font-family: monospace;
    width: 15%;
}

table.debugByteCode td:first-child + td + td + td {
    width: 25%;
}

table.debugByteCode td:first-child + td + td + td + td {
    width: 35%;
}

table.debugByteCode i {
    font-family: sans-serif;
}


/* for the encoded value table */

table.encodedValue {
    margin-top: 20pt;
    margin-bottom: 20pt;
}

table.encodedValue td:first-child {
    font-family: monospace;
    width: 12%;
}

table.encodedValue td:first-child + td {
    font-family: monospace;
    width: 10%;
}

table.encodedValue td:first-child + td + td {
    font-family: monospace;
    width: 15%;
}

table.encodedValue td:first-child + td + td + td {
    font-family: monospace;
    width: 15%;
}

table.encodedValue td:first-child + td + td + td + td {
    width: 48%;
}

table.encodedValue td i {
    font-family: sans-serif;
}