body {
    margin-left: 10%;
    margin-right: 10%;
    font-family: serif
    }
h1, h2, h3 {
    text-align: center;
    clear: both;
    font-weight: normal
    }
.half-title {
    margin: 4em auto;
    font-size: 120%
    }
h1 {
    font-size: 120%
    }
h2 {
    font-size: 110%;
    margin-top: 3em
    }
h3 {
    font-size: 100%;
    margin-top: 1.5em
    }
table {
    margin-left: auto;
    margin-right: auto
    }
.printer {
    padding-left: 10%
    }
.printer-container {
    display: flex;
    justify-content: center;
    text-align: center
    }
.printer-inside {
    border-top: 1px solid
    }
.printer-inside p {
    display: inline-block;
    text-align: center;
    margin-top: 5%;
    margin-bottom: 20%;
    font-size: 60%
    }
table.autotable {
    border-collapse: collapse
    }
td {
    padding: 0.25em
    }
.tdl {
    text-align: left
    }
.tdr {
    text-align: right
    }
p {
    margin-top: 0.51em;
    text-align: justify;
    margin-bottom: 0.49em;
    text-indent: 1em
    }
.noindent {
    text-indent: 0
    }
.p2b {
    margin-bottom: 2em
    }
.p0b {
    margin-bottom: 0;
    margin-top: 1em;
    display: inline-block
    }
.p6 {
    margin-top: 6em
    }
.fs200 {
    font-size: 200%
    }
.fs150 {
    font-size: 150%
    }
.fs100 {
    font-size: 100%
    }
.fs80 {
    font-size: 80%
    }
.fs60 {
    font-size: 60%
    }
hr {
    width: 33%;
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 33.5%;
    margin-right: 33.5%;
    clear: both
    }
hr.chap {
    width: 65%;
    margin-left: 17.5%;
    margin-right: 17.5%
    }
@media print {
    hr.chap {
        display: none;
        visibility: hidden
        }
    }
hr.r5m3 {
    width: 5%;
    margin-top: 3em;
    margin-bottom: 3em;
    margin-left: 47.5%;
    margin-right: 47.5%
    }
hr.r10 {
    width: 10%;
    margin: 1em 45%
    }
hr.r10m4 {
    width: 10%;
    margin-top: 4em;
    margin-bottom: 4em;
    margin-left: 45%;
    margin-right: 45%
    }
hr.r65m6t {
    width: 80%;
    margin-top: 8em;
    margin-bottom: 1em;
    margin-left: 10%;
    margin-right: 10%
    }
hr.r65m8b {
    width: 80%;
    margin-top: 1em;
    margin-bottom: 8em;
    margin-left: 10%;
    margin-right: 10%
    }
div.chapter {
    page-break-before: always
    }
h2.nobreak {
    page-break-before: avoid
    }
.pagenum {
    font-size: small;
    text-align: right;
    font-style: normal;
    font-weight: normal;
    font-variant: normal;
    text-indent: 0
    }
.center {
    text-align: center;
    text-indent: 0
    }
.smcap {
    font-variant: small-caps
    }
.allsmcap {
    font-variant: small-caps;
    text-transform: lowercase
    }
.footnote {
    margin-left: 10%;
    margin-right: 10%;
    font-size: 0.9em
    }
.footnote .label {
    text-align: right
    }
.fnanchor {
    vertical-align: super;
    font-size: 0.8em;
    text-decoration: none
    }
.transnote {
    background-color: #E6E6FA;
    color: black;
    font-size: small;
    padding: 0.5em;
    margin-bottom: 5em;
    font-family: sans-serif, serif
    }
.corr {
    text-decoration: none;
    border-bottom: thin dashed blue
    }
.lsp {
    letter-spacing: 0.2em
    }
.lhx {
    line-height: 1.75em
    }
ol li {
    margin-top: 0.5em
    }