body {
    margin-left: 10%;
    margin-right: 10%
    }
h1, h2, h3, h4, h5, h6 {
    text-align: center;
    clear: both
    }
h1.title {
    font-size: xx-large;
    line-height: 1.3
    }
.h1-second-level-1 {
    text-align: center;
    font-size: large;
    font-weight: bold;
    line-height: 1
    }
.h1-second-level-2 {
    text-align: center;
    font-size: large;
    font-weight: bold;
    line-height: 1
    }
.center {
    text-align: center
    }
h3.lineheight {
    line-height: 2em
    }
p {
    margin-top: 0.51em;
    text-align: justify;
    margin-bottom: 0.49em;
    text-indent: 1em
    }
.word-spaced {
    text-align: center
    }
.char-xsmall {
    font-size: x-small
    }
.char-small {
    font-size: small
    }
.char-bold {
    font-weight: bold
    }
.p1 {
    margin-top: 1em
    }
.p2 {
    margin-top: 2em
    }
.p3 {
    margin-top: 3em
    }
.p4 {
    margin-top: 4em
    }
.p6 {
    margin-top: 6em
    }
.p8 {
    margin-top: 8em
    }
.noin {
    text-indent: 0
    }
hr {
    width: 33%;
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 33.5%;
    margin-right: 33.5%;
    clear: both
    }
hr.tb {
    width: 45%;
    margin-left: 27.5%;
    margin-right: 27.5%
    }
hr.chap {
    width: 65%;
    margin-left: 17.5%;
    margin-right: 17.5%
    }
hr.r5 {
    width: 5%;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 47.5%;
    margin-right: 47.5%
    }
table {
    margin-left: auto;
    margin-right: auto
    }
.pagenum {
    font-size: smaller;
    text-align: right
    }
.tr {
    margin-left: 15%;
    margin-right: 15%;
    margin-top: 5%;
    margin-bottom: 5%;
    padding: 1em;
    background-color: #f6f2f2;
    color: black;
    border: dotted black 1px
    }
ins {
    text-decoration: none;
    border-bottom: thin dotted gray
    }
.center {
    text-align: center
    }
.right {
    text-align: right
    }
.smcap {
    font-variant: small-caps
    }
img {
    max-width: 100%;
    height: auto
    }
div.figcenter {
    clear: both;
    margin: 2em auto;
    text-align: center;
    max-width: 100%
    }
div.figleft {
    clear: left;
    margin: 1em 1em 1em 0;
    text-align: center;
    max-width: 40%
    }
div.figright {
    clear: right;
    margin: 1em 0 1em 1em;
    text-align: center;
    max-width: 40%
    }
div.figsub {
    display: inline-block;
    margin: 0 1em;
    vertical-align: top;
    max-width: 100%;
    text-align: center
    }
div.caption p {
    text-align: center;
    text-indent: 0;
    margin: 0.25em 0;
    font-weight: bold
    }
div.caption p.smaller {
    font-size: 10pt
    }
div.caption p.special-right {
    text-align: right;
    font-size: xx-small;
    font-weight: normal;
    margin-right: 1em;
    margin-top: 0
    }
.hanging {
    margin-left: 0;
    padding-left: 1em;
    text-indent: -1em
    }
.double {
    border-top-style: double;
    border-top-width: 6px;
    border-top-color: black;
    border-bottom-style: double;
    border-bottom-width: 6px;
    border-bottom-color: black;
    width: 20%;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 40%;
    margin-right: 40%
    }
.doubletop {
    border-top: thick solid black;
    border-bottom: medium solid black;
    width: 20%;
    margin-top: 2em;
    margin-bottom: 1em;
    margin-left: 40%;
    margin-right: 40%
    }
.doublebottom {
    border-bottom: thick solid black;
    border-top: medium solid black;
    width: 20%;
    margin-top: 1em;
    margin-bottom: 2em;
    margin-left: 40%;
    margin-right: 40%
    }
.n30pc {
    width: 30%
    }
.n15pc {
    width: 15%
    }
.n10pc {
    width: 10%
    }
#half-title {
    text-align: center;
    font-size: xx-large;
    font-weight: bold;
    margin: 3em 0
    }
@media all {
    div.figleft, div.figright {
        float: none;
        clear: both;
        margin: 2em auto;
        text-align: center;
        max-width: 100%
        }
    }
hr.full {
    width: 100%;
    margin-top: 3em;
    margin-bottom: 0;
    margin-left: auto;
    margin-right: auto;
    border-width: 4px 0 0 0;
    border-style: solid;
    border-color: #000;
    clear: both
    }