body {
    margin-left: 5%;
    margin-right: 10%
    }
p {
    text-indent: 3em;
    margin: 0;
    margin-right: 1em
    }
a {
    text-decoration: none
    }
h2 {
    font-variant: small-caps;
    text-align: center;
    padding-top: 6em
    }
h3 {
    text-align: center;
    padding-top: 1em
    }
.small-caps {
    font-variant: small-caps
    }
.tt {
    font-family: monospace
    }
sub {
    font-size: 1em
    }
.center-image {
    display: block;
    margin-left: auto;
    margin-right: auto
    }
.pagenum {
    font-size: smaller;
    text-align: right;
    font-style: normal;
    font-weight: normal;
    font-variant: normal;
    text-indent: 3em
    }
.no-indent {
    text-indent: 0
    }
.hanging-indent {
    text-indent: -3em;
    padding-left: 3em
    }
.short-indent {
    text-indent: 1.5em
    }
.circle {
    display: inline-block;
    padding-top: 0;
    padding-bottom: 0;
    border: 1px solid #000;
    border-radius: 50%;
    text-align: center
    }
.diagonal-strike {
    display: inline-block
    }
.diagonal-strike::after {
    content: ""
    }
.vertical-stack {
    display: inline-block
    }
.vertical-stack span {
    display: block;
    text-align: center
    }
.vertical-stack span:first-child {
    margin-bottom: -0.2em
    }
.bold-underline {
    text-decoration: none;
    border-bottom: 2px solid
    }
.lowered-underline {
    text-decoration: none;
    border-bottom: 1px solid currentColor
    }
.lowered-underline::after {
    content: "";
    border-bottom: 1px solid
    }
.triple-underline::before {
    content: "";
    border-bottom: 1px solid
    }
.triple-underline::after {
    content: "";
    border-bottom: 1px solid
    }
.triple-underline {
    border-bottom: 1px solid
    }
.low-double-underline::before {
    content: "";
    border-bottom: 1px solid
    }
.low-double-underline::after {
    content: "";
    border-bottom: 1px solid
    }
.low-double-underline {
    border-bottom: 1px solid
    }
.extra-low-underline::before {
    content: "";
    border-bottom: 1px solid
    }
.extra-low-underline::after {
    content: "";
    border-bottom: 1px solid
    }
.extra-low-underline {
    border-bottom: 0 solid
    }
.tablecell {
    border: 1px solid black;
    border-collapse: collapse;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: monospace
    }
.tablecell-right {
    border: 1px solid black;
    border-collapse: collapse;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: monospace;
    text-align: right
    }
.tablecell-center {
    border: 1px solid black;
    border-collapse: collapse;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: monospace;
    text-align: center
    }
.tablecell-naked {
    border: none;
    border-collapse: collapse;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 5em;
    padding-right: 0.5em;
    font-family: monospace;
    text-align: right
    }
.td-naked {
    border: none;
    border-collapse: collapse;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: monospace;
    text-align: right
    }
.td-center {
    border: none;
    border-collapse: collapse;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: monospace;
    text-align: center
    }
.td-left {
    border: none;
    border-collapse: collapse;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: monospace;
    text-align: left
    }