/**/
body {
    margin-left: 10%;
    margin-right: 10%
    }
.title {
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 10%;
    margin-right: 10%
    }
div.sum {
    page-break-before: always;
    page-break-after: always
    }
div.break {
    page-break-before: always
    }
.bord1 {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
    margin-left: 0%;
    margin-right: 0%
    }
.bord2 {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
    margin-left: 5%;
    margin-right: 5%
    }
h1, h2, h4 {
    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-left: 10%;
    margin-bottom: 0;
    text-indent: 0
    }
.ptoc {
    margin-top: 0.2em;
    text-align: justify;
    margin-left: 15%;
    margin-right: 15%;
    margin-bottom: 1em;
    text-indent: -1em
    }
.pq60 {
    margin-top: 0.2em;
    text-align: left;
    margin-bottom: 0;
    margin-left: 60%;
    text-indent: 0
    }
.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
    }
.b1 {
    margin-bottom: 1em
    }
.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%
    }
table {
    margin-left: auto;
    margin-right: auto
    }
.tdc {
    text-align: center
    }
.tdlh {
    text-align: left;
    vertical-align: top
    }
.tdrl {
    text-align: right;
    vertical-align: bottom
    }
.td039 {
    border-top: 1px solid black;
    vertical-align: bottom;
    text-align: right
    }
#toc01 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc02 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc03 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc04 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc05 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc06 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc07 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc08 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc09 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc10 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#toc11 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#till {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
#t01 {
    width: 90%;
    line-height: 1em;
    margin-top: 1em
    }
.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
    }
.caption {
    font-weight: bold
    }
.figcenter {
    margin: auto;
    text-align: center
    }
.transnote {
    background-color: #E6E6FA;
    color: black;
    font-size: smaller;
    padding: 0.5em;
    margin-bottom: 5em;
    font-family: sans-serif, serif
    }
hr.full {
    width: 100%;
    margin-top: 3em;
    margin-bottom: 0;
    margin-left: auto;
    margin-right: auto;
    border-width: 4px 0 0 0;
    /* remove all borders except the top one */
    border-style: solid;
    border-color: #000;
    clear: both
    }
/**/