body {
    margin-left: 10%;
    margin-right: 10%
    }
h1, h2, h3, h4, h5 {
    text-align: center;
    clear: both
    }
@media all {
    h2 {
        page-break-before: always
        }
    h2, h3, h4, h5 {
        page-break-after: avoid
        }
    }
h1 {
    margin-bottom: 2em;
    letter-spacing: 0.05em
    }
h3 {
    font-size: 125%;
    font-weight: normal;
    margin-top: 1.5em;
    margin-bottom: 0.5em
    }
h4 {
    font-size: 100%;
    font-weight: normal;
    line-height: 1.6em
    }
h5 {
    font-size: 95%;
    margin-bottom: 1em
    }
div.titlepage {
    text-align: center;
    page-break-before: always;
    page-break-after: always;
    margin-top: 5em;
    margin-left: 15%;
    margin-right: 15%
    }
div.tp1 {
    display: block;
    font-size: 65%;
    margin-top: 2em;
    margin-bottom: 2em
    }
div.tp1a {
    display: block;
    font-size: 65%;
    word-spacing: 0.3em;
    margin-top: 5em;
    margin-bottom: 2em
    }
div.tp2 {
    display: block;
    font-size: 120%;
    font-weight: bold;
    margin-top: 1em;
    margin-bottom: 1em
    }
div.tp3 {
    display: block;
    font-size: 80%;
    font-style: italic
    }
div.tp4 {
    display: block;
    font-size: 80%
    }
div.tp5 {
    display: block;
    font-size: 90%;
    margin-top: 4em;
    letter-spacing: 0.1em
    }
div.tp5a {
    display: block;
    font-size: 90%
    }
div.tp6 {
    display: block;
    letter-spacing: 0.2em;
    word-spacing: 0.3em;
    margin-top: 0.5em;
    margin-bottom: 0.5em
    }
p {
    margin-top: 0.51em;
    text-align: justify;
    margin-bottom: 0.49em;
    line-height: 1.3em
    }
p.spec {
    text-align: center;
    margin-top: 1.5em
    }
p.syn {
    text-align: center;
    font-size: 80%
    }
p.synj {
    margin-left: 4%;
    margin-right: 4%;
    text-align: justify;
    font-size: 80%
    }
p.ph1 {
    text-align: center;
    margin-top: 1.5em
    }
p.ph2 {
    text-align: center;
    margin-top: 1.5em;
    font-weight: bold
    }
div.chapter {
    page-break-before: always
    }
div.insert {
    margin-top: 1.5em;
    margin-left: 15%;
    margin-right: 15%;
    padding: 0 0.3em 0 0.3em;
    border: thin dotted;
    background-color: #f4f4f4
    }
div.errata p {
    font-size: 85%;
    text-indent: 2em;
    line-height: 1.3em;
    margin-left: 5%;
    margin-right: 5%;
    margin-top: 0.3em;
    margin-bottom: 0.3em
    }
.blockquot {
    text-align: justify;
    font-size: 85%
    }
.blockquot1 {
    text-align: justify;
    font-size: 85%
    }
.blockquot1 p {
    text-indent: -3em;
    margin-left: 3em;
    line-height: 1.1em;
    margin-top: 0.3em;
    margin-bottom: 0.3em
    }
.blockquot2 {
    text-align: justify;
    margin-left: 2em
    }
.blockquot2 p {
    text-indent: -3em;
    margin-left: 3em
    }
.blockquot3 {
    text-align: justify;
    margin-left: 2em
    }
.blockquot4 p {
    text-align: justify;
    margin-left: 3em;
    text-indent: -3em;
    line-height: 1.1em;
    margin-top: 0.3em;
    margin-bottom: 0.3em
    }
.epubonly {
    display: none;
    visibility: hidden
    }
@media all {
    .epubonly {
        display: inline;
        visibility: visible
        }
    .htmlonly {
        display: none;
        visibility: hidden
        }
    }
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%;
    margin-bottom: 4em
    }
hr.r5 {
    width: 5%;
    margin-left: 47.5%;
    margin-right: 47.5%;
    margin-top: 1em;
    margin-bottom: 1em
    }
hr.r10 {
    width: 10%;
    margin-left: 45%;
    margin-right: 45%;
    margin-top: 1em;
    margin-bottom: 1em
    }
hr.r30 {
    width: 30%;
    margin-left: 35%;
    margin-right: 35%;
    margin-top: 1em;
    margin-bottom: 1em
    }
table {
    display: inline-table;
    margin-left: auto;
    margin-right: auto;
    font-size: 95%;
    border-collapse: collapse
    }
th {
    padding-top: 0.6em;
    padding-bottom: 0.6em;
    font-weight: normal;
    font-size: 90%
    }
td.tac div {
    text-align: center
    }
td.tar div {
    text-align: right
    }
#diffchar td {
    padding-top: 0.3em;
    padding-right: 0.3em;
    padding-bottom: 0.3em;
    padding-left: 1.3em;
    text-indent: -1em;
    vertical-align: top;
    text-align: justify
    }
span.ilb {
    display: inline-block;
    white-space: nowrap
    }
.alpha {
    text-align: left;
    padding-top: 1em
    }
.tal {
    text-align: left
    }
.tar {
    text-align: right
    }
.tac {
    text-align: center
    }
.taj {
    text-align: justify
    }
.vat {
    vertical-align: top
    }
.vam {
    vertical-align: middle
    }
.vab {
    vertical-align: bottom
    }
.btmrb {
    border-top: solid medium;
    border-right: solid thin;
    border-bottom: solid thin
    }
.btrbm {
    border-top: solid thin;
    border-right: solid thin;
    border-bottom: solid medium
    }
.btmb {
    border-top: solid medium;
    border-bottom: solid thin
    }
.btbm {
    border-top: solid thin;
    border-bottom: solid medium
    }
.brbm {
    border-right: solid thin;
    border-bottom: solid medium
    }
.bbm {
    border-bottom: solid medium
    }
.br {
    border-style: none solid none none;
    border-width: thin
    }
.brl {
    border-style: none solid none solid;
    border-width: thin
    }
.bb {
    border-style: none none solid none;
    border-width: thin
    }
.bbr {
    border-style: none solid solid none;
    border-width: thin
    }
.btrb {
    border-style: solid solid solid none;
    border-width: thin
    }
.hi-2 {
    text-indent: 2em
    }
.pb03 {
    padding-bottom: 0.3em
    }
.pb05 {
    padding-bottom: 0.5em
    }
.pb06 {
    padding-bottom: 0.6em
    }
.pl0hi1 {
    padding-left: 1em;
    text-indent: -1em
    }
.pl0hi2 {
    padding-left: 2em;
    text-indent: -2em
    }
.pl0hi3 {
    padding-left: 3em;
    text-indent: -3em
    }
.pl1hi1 {
    padding-left: 2em;
    text-indent: -1em
    }
.pl1hi2 {
    padding-left: 3em;
    text-indent: -2em
    }
.pl2hi1 {
    padding-left: 3em;
    text-indent: -1em
    }
.pl2hi3 {
    padding-left: 5em;
    text-indent: -3em
    }
.pl3hi3 {
    padding-left: 6em;
    text-indent: -3em
    }
.pl4hi3 {
    padding-left: 7em;
    text-indent: -3em
    }
.pl03 {
    padding-left: 0.3em
    }
.pl1 {
    padding-left: 1em
    }
.pl1_5 {
    padding-left: 1.5em
    }
.pl2 {
    padding-left: 2em
    }
.pl2_5 {
    padding-left: 2.5em
    }
.pl3 {
    padding-left: 3em
    }
.pl3hi1 {
    padding-left: 4em;
    text-indent: -1em
    }
.pl4_5 {
    padding-left: 4.5em
    }
.pl6 {
    padding-left: 6em
    }
.pl7_5 {
    padding-left: 7.5em
    }
.pl7_5hi4 {
    padding-left: 11.5em;
    text-indent: -4em
    }
.pl9 {
    padding-left: 9em
    }
.pl9hi1 {
    padding-left: 10em;
    text-indent: -1em
    }
.pl9hi3 {
    padding-left: 12em;
    text-indent: -3em
    }
.pl10_5 {
    padding-left: 10.5em
    }
.pl12_5 {
    padding-left: 12.5em
    }
.pr03 {
    padding-right: 0.3em
    }
.pr06 {
    padding-right: 0.6em
    }
.pr1 {
    padding-right: 1em
    }
.pr1_5 {
    padding-right: 1.5em
    }
.pr2 {
    padding-right: 2em
    }
.pr2_5 {
    padding-right: 2.5em
    }
.pr3 {
    padding-right: 3em
    }
.pr5 {
    padding-right: 5em
    }
.prl03 {
    padding-right: 0.3em;
    padding-left: 0.3em
    }
.pt03 {
    padding-top: 0.3em
    }
.pt05 {
    padding-top: 0.5em
    }
.pt1 {
    padding-top: 1em
    }
.ptb03 {
    padding-top: 0.3em;
    padding-bottom: 0.3em
    }
.ptb06 {
    padding-top: 0.6em;
    padding-bottom: 0.6em
    }
.ptb1 {
    padding-top: 1em;
    padding-bottom: 1em
    }
.mb-1em {
    margin-bottom: -1em
    }
.mlhi2 {
    margin-left: 2em;
    text-indent: -2em
    }
.ml1hi4 {
    margin-left: 5em;
    text-indent: -4em
    }
.ml2hi5 {
    margin-left: 5em;
    text-indent: -3em
    }
.ml2em {
    margin-left: 2em
    }
.ml3em {
    margin-left: 3em
    }
.ml5em {
    margin-left: 5em
    }
.mrl10 {
    margin-left: 10%;
    margin-right: 10%
    }
.mt1em {
    margin-top: 1em
    }
.mt2em {
    margin-top: 2em
    }
.mt3em {
    margin-top: 3em
    }
.fs60 {
    font-size: 60%
    }
.fs70 {
    font-size: 70%
    }
.fs80 {
    font-size: 80%
    }
.fs85 {
    font-size: 85%
    }
.fs90 {
    font-size: 90%
    }
.fs95 {
    font-size: 95%
    }
.fs100 {
    font-size: 100%
    }
.fs120 {
    font-size: 120%
    }
.hide {
    visibility: hidden
    }
.nowrap {
    white-space: nowrap
    }
.center {
    text-align: center
    }
.smcap {
    font-variant: small-caps
    }
table .smcap {
    font-size: 110%
    }
.lowercase {
    text-transform: lowercase
    }
.ls01em {
    letter-spacing: 0.1em
    }
sup {
    vertical-align: baseline;
    font-size: 80%
    }
sub {
    vertical-align: baseline;
    font-size: 80%
    }
@media all {
    sup {
        vertical-align: baseline;
        font-size: 80%;
        position: relative;
        top: -0.4em
        }
    sub {
        vertical-align: baseline;
        font-size: 80%;
        position: relative;
        top: 0.3em
        }
    }
.pagenum {
    font-weight: normal;
    font-style: normal;
    font-variant: normal;
    text-align: right;
    text-indent: 0;
    color: #585858
    }
span[title].pagenum:after {
    content: attr(title)
    }
a:link {
    color: black;
    text-decoration: underline
    }
a:link:hover {
    background: aqua
    }
.fraction {
    display: inline-block;
    vertical-align: middle;
    text-align: center;
    text-indent: 0;
    font-size: 65%;
    line-height: 0.4em
    }
.fraction > span {
    display: block;
    padding: 0.1em
    }
.fraction span.bar {
    display: none
    }
.fraction span.fden {
    border-top: thin solid black;
    line-height: 0.6em;
    padding-top: 0.2em
    }
img {
    max-width: 100%;
    height: auto
    }
div.figcenter {
    clear: both;
    margin: 1em auto;
    text-align: center;
    max-width: 100%
    }
div.figleft {
    clear: left;
    margin: 0.5em 1.5em 0.5em 0;
    text-align: center;
    max-width: 40%
    }
div.figright {
    clear: right;
    margin: 0.5em 0 0.5em 1.5em;
    text-align: center;
    max-width: 40%
    }
@media all {
    div.figleft, div.figright {
        display: block;
        float: none;
        clear: both;
        margin: 1em auto;
        text-align: center;
        max-width: 100%
        }
    }
div.figcontainer {
    clear: both;
    margin: 0 auto;
    text-align: center;
    max-width: 100%
    }
@media all {
    div.figcontainer {
        display: block
        }
    }
div.figsub {
    display: inline-block;
    margin: 0.5em 1em;
    vertical-align: top;
    max-width: 100%;
    text-align: center
    }
.caption {
    font-size: 85%
    }
.figcenter div, .figleft div, .figright div {
    text-align: justify
    }
@media all {
    .figcenter div, .figleft div, .figright div {
        float: none;
        margin-left: 15%;
        margin-right: 15%;
        display: block
        }
    }
.footnotes {
    margin-top: 4em;
    border: dashed 1px;
    padding-bottom: 2em
    }
.footnote {
    margin-left: 10%;
    margin-right: 10%
    }
.footnote p {
    font-size: 0.9em;
    text-indent: 0
    }
.footnote .label {
    text-align: right;
    font-size: 0.9em
    }
.label:hover {
    background: aqua
    }
.fnanchor {
    vertical-align: baseline;
    margin-left: 0.05em;
    font-size: 0.7em;
    font-weight: normal;
    font-style: normal;
    white-space: nowrap
    }
.transnote {
    background-color: #F2F2F2;
    color: black;
    font-size: 85%;
    padding: 0.5em;
    margin-bottom: 5em;
    font-family: sans-serif, serif
    }
ins {
    text-decoration: none;
    border-bottom: 1px dashed red
    }
@media all {
    ins {
        border-bottom: none
        }
    }