body {
    margin-left: 10%;
    margin-right: 10%
    }
div.sum {
    page-break-before: always;
    page-break-after: always
    }
div.break {
    page-break-before: always
    }
h1, h2 {
    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
    }
.pn10 {
    margin-top: 0.2em;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 0;
    margin-left: 10%
    }
.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
    }
.b2 {
    margin-bottom: 2em
    }
.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: 15%;
    margin-left: 42.5%;
    margin-right: 42.5%;
    margin-top: 0.2em;
    margin-bottom: 0
    }
table {
    margin-left: auto;
    margin-right: auto
    }
#toc1 {
    width: 80%;
    line-height: 1em;
    margin-top: 1em
    }
#t01 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t02 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t03 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t04 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t05 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t06 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t07 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t08 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t09 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t10 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t11 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t12 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t13 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t14 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t15 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t16 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t17 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t18 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t19 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t20 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t21 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t22 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t23 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t24 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t25 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t26 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t27 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t28 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t29 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t30 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t31 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t32 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
#t33 {
    width: 60%;
    line-height: 1em;
    margin-top: 1em;
    margin-bottom: 0.8em
    }
.tdc {
    text-align: center
    }
.tdlh {
    text-align: left;
    vertical-align: top
    }
.tdli {
    text-align: left;
    vertical-align: top;
    padding-left: 1em;
    text-indent: -1em
    }
.tdrl {
    text-align: right;
    vertical-align: bottom
    }
.pagenum {
    font-size: smaller;
    text-align: right;
    text-indent: 0;
    font-style: normal;
    font-weight: normal
    }
.center {
    text-align: center
    }
.smcap {
    font-variant: small-caps
    }
.transnote {
    background-color: #E6E6FA;
    color: black;
    font-size: smaller;
    padding: 0.5em;
    margin-bottom: 5em;
    font-family: sans-serif, serif
    }