body {
    margin-left: 10%;
    margin-right: 10%;
    max-width: 35em
    }
h1, h2, h3 {
    text-align: center;
    clear: both
    }
p {
    margin-top: 0.2em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 1.5em
    }
.pn {
    margin-top: 0.2em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 0
    }
.pbq {
    margin-top: 0.2em;
    font-size: 90%;
    text-align: justify;
    margin-left: 5%;
    margin-right: 5%;
    margin-bottom: 0;
    text-indent: 1.2em
    }
.pbq10 {
    margin-top: 0.2em;
    font-size: 90%;
    text-align: justify;
    margin-left: 10%;
    margin-right: 5%;
    margin-bottom: 0;
    text-indent: 0
    }
.pbq40 {
    margin-top: 0.2em;
    font-size: 90%;
    text-align: justify;
    margin-left: 40%;
    margin-right: 5%;
    margin-bottom: 0;
    text-indent: 0
    }
.pbq60 {
    margin-top: 0.2em;
    font-size: 90%;
    text-align: justify;
    margin-left: 60%;
    margin-right: 5%;
    margin-bottom: 0;
    text-indent: 0
    }
.pbq10r {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 10%;
    margin-right: 10%;
    text-indent: 1.5em
    }
.pni {
    margin-top: 0.5em;
    font-size: 90%;
    text-align: left;
    margin-left: 5%;
    margin-bottom: 0;
    text-indent: -1em
    }
.pnii {
    margin-top: 0;
    font-size: 90%;
    text-align: left;
    margin-left: 10%;
    margin-bottom: 0;
    text-indent: -1em
    }
.pp15 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 15%;
    text-indent: 0
    }
.pp10 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 10%;
    text-indent: 0
    }
.pp20 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 20%;
    text-indent: 0
    }
.ppq20 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 20%;
    text-indent: -0.35em
    }
.pp20i {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 20%;
    text-indent: -1em
    }
.pp25i {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 25%;
    text-indent: -1em
    }
.pp20iq {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 20%;
    text-indent: -1.35em
    }
.pp20r {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 20%;
    text-indent: 1em
    }
.pp30 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 30%;
    text-indent: 0
    }
.ppq30 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 30%;
    text-indent: -0.35em
    }
.pp35 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 35%;
    text-indent: 0
    }
.pp40 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 40%;
    text-indent: 0
    }
.pp55 {
    margin-top: 0;
    font-size: 90%;
    text-align: justify;
    margin-bottom: 0;
    margin-left: 55%;
    text-indent: 0
    }
.pfn {
    margin-top: 0.5em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 0;
    margin-left: 5%;
    margin-right: 5%
    }
.ptn {
    margin-top: 0.3em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: -1em;
    margin-left: 2%
    }
.p1 {
    margin-top: 1em
    }
.p2 {
    margin-top: 2em
    }
.p4 {
    margin-top: 4em
    }
.b05 {
    margin-bottom: 0.5em
    }
.b1 {
    margin-bottom: 1em
    }
.little {
    font-size: 60%
    }
.small {
    font-size: 75%
    }
.reduct {
    font-size: 90%
    }
.lmid {
    font-size: 110%
    }
.mid {
    font-size: 125%
    }
.large {
    font-size: 150%
    }
.elarge {
    font-size: 175%
    }
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%
    }
hr.dec1 {
    width: 20%;
    margin-left: 40%;
    margin-right: 40%;
    margin-top: 1em;
    margin-bottom: 1em
    }
hr.dec2 {
    width: 40%;
    margin-left: 30%;
    margin-right: 30%;
    margin-top: 1em;
    margin-bottom: 1em
    }
table {
    margin-left: auto;
    margin-right: auto
    }
.tdl {
    text-align: left
    }
.tdr {
    text-align: right
    }
.tdc {
    text-align: center
    }
.tdlh {
    text-align: left;
    vertical-align: top
    }
.tdrh {
    text-align: right;
    vertical-align: top
    }
.tdrl {
    text-align: right;
    vertical-align: bottom
    }
.td033 {
    border-top: 1px solid black;
    text-align: right
    }
.td201 {
    text-align: left;
    border-top: 2px solid black;
    border-right: 2px solid black;
    border-bottom: 2px solid black;
    vertical-align: bottom
    }
#toc {
    width: 80%;
    line-height: 1em;
    margin-top: 1em
    }
#t01 {
    width: 60%;
    line-height: 1em;
    margin-top: 0
    }
#t02 {
    width: 80%;
    line-height: 1em;
    margin-top: 0
    }
.pagenum {
    visibility: hidden;
    font-size: smaller;
    text-align: right;
    text-indent: 0;
    font-style: normal;
    font-weight: normal
    }
.center {
    text-align: center
    }
.smcap {
    font-variant: small-caps
    }
.figcenter {
    margin: auto;
    text-align: center
    }
.footnotes {
    border: dashed 1px
    }
.footnote {
    margin-left: 15%;
    margin-right: 10%;
    font-size: 0.9em
    }
.footnote .label {
    text-align: right
    }
.fnanchor {
    vertical-align: super;
    font-size: 0.8em;
    text-decoration: none;
    font-style: normal;
    font-weight: normal
    }
.transnote {
    background-color: #E6E6FA;
    color: black;
    font-size: smaller;
    padding: 0.5em;
    margin-bottom: 5em;
    font-family: sans-serif, serif
    }