h1.title {
   text-align: center;
}
div.title {
   text-align: center;
}
p.note {
   font-size: 0.7em;
}
p.note span.note {
   font-weight: bold;
}
span.codeline {
   font-size: 1.1em;
   font-family: monspace;
}
span.codeline span.note {
   font-size: 0.9em;
   font-style: italic;
   font-family: serif;
   color: #004000;
}
span.codeline > code { /* Literals within code */
   font-size: 1.1em;
   color: #600000;
}
dl.typelist dt {
   font-style: italic;
   font-size: 1.1em;
}
dl.typelist p {
   margin-top: 0;
}
div.type {
   margin-left: 14pt;
}
table {
   border-collapse: collapse;
}
td {
   padding: 0.2em 0.3em 0.2em 0.3em;
}
thead {
   border-style: solid;
   border-width: 3px;
   border-left-width: thin;
   border-right-width: thin;
   font-weight: bold;
}
tbody {
   border-style: solid;
   border-width: thin;
}
caption {
   padding-bottom: 3pt;
}
table.meslayout {
   width: 90%;
   margin-left: 3%;
}
tr.sectionhead {
   font-size: 1.2em;
   text-align: center;
}
tr.sectionhead div.note {
   font-size: 0.7em;
   text-align: left;
   font-weight: normal;
}
tr.seeother td[colspan] {
    text-align: center;
}
div.section {
   margin-left: 14pt;
}
div.section > h1:first-child {
   margin-left: -14pt;
}
div.section > h2:first-child {
   margin-left: -14pt;
}
div.section > h3:first-child {
   margin-left: -14pt;
}
div.section > h4:first-child {
   margin-left: -14pt;
}
div.section > h5:first-child {
   margin-left: -14pt;
}
div.section > h6:first-child {
   margin-left: -14pt;
}
table span.note {
   font-style: italic;
   font-size: 0.7em;
}
td.bit {
   height: 1.5em;
}
td.desc {
   vertical-align: top;
   text-align: left;
   padding-top: 0.1em;
   padding-bottom: 0.3em;
}
td.desc > span:first-child {
   font-size: 1.1em;
   font-weight: bold;
}
td.desc p {
   padding-bottom: 0;
   margin-bottom: 0;
}
td.reserved {
   text-align: left;
   padding-top: 0;
   padding-bottom: 0;
   font-size: 2.5em;
   font-weight: bold;
}
td.value {
   text-align: right;
   white-space: nowrap;
}
td.range {
   text-align: center;
}
table.transcript {
   margin-left: 3em;
   padding: 0.4em;
   list-style-type: none;
   border: thin solid black;
}
table.transcript td {
   text-align: left;
}
table.transcript td.value {
   font-family: monospace;
   white-space: pre-wrap;
}