body {
    margin-left: 10%;
    margin-right: 10%
    }
div.pre1 {
    font-size: 90%;
    margin-bottom: 0.5em
    }
div.pre2 {
    font-size: 180%;
    letter-spacing: 0.1em;
    margin: 2em 2em
    }
div.pre3 {
    font-size: 80%;
    margin-bottom: 1em
    }
div.pre4 {
    font-size: 120%;
    letter-spacing: 0.15em;
    margin-bottom: 5em
    }
h1, h2, h3, h4 {
    text-align: center;
    clear: both
    }
h1 span.t1 {
    display: block;
    font-size: 90%;
    font-weight: normal;
    letter-spacing: 0.1em;
    line-height: 1.5em
    }
h1 span.t2 {
    display: block;
    font-size: 40%;
    font-weight: normal;
    margin-top: 1.5em;
    margin-bottom: 1.5em
    }
h1 span.t3 {
    display: block;
    font-size: 130%;
    font-weight: normal;
    margin-bottom: 1em;
    letter-spacing: 0.1em
    }
h1 span.t4 {
    display: block;
    font-size: 60%;
    font-weight: normal;
    margin-bottom: 1.5em
    }
h2 {
    font-weight: normal;
    letter-spacing: 0.1em
    }
h3 {
    font-weight: normal;
    letter-spacing: 0.07em;
    margin-top: 1.5em;
    margin-bottom: 0.5em
    }
h4 {
    font-size: 110%;
    font-weight: normal;
    margin-top: 1.5em;
    margin-bottom: 0.5em;
    margin-left: 2em;
    text-align: justify;
    text-indent: -2em
    }
h3 + h4 {
    margin-top: 0
    }
@media all {
    h4 {
        padding-left: 2em;
        text-indent: -2em
        }
    }
p {
    margin-top: 0.51em;
    text-align: justify;
    margin-bottom: 0.49em;
    line-height: 1.25em
    }
p.sig {
    text-align: right;
    margin-top: -0.5em;
    margin-right: 5%
    }
p.expt {
    margin-left: 2em;
    text-align: justify;
    text-indent: -2em
    }
div.ads {
    font-size: 90%;
    margin-left: 5%;
    margin-right: 5%
    }
div.ads2 {
    margin-left: 5%;
    margin-right: 5%
    }
p.info {
    text-align: center;
    margin-top: 2em
    }
p.title1 {
    margin-left: 2em;
    text-indent: -2em;
    margin-top: 2em
    }
p.title1:first-line {
    font-size: 120%
    }
p.info + p.title1 {
    margin-top: 0.51em
    }
p.title2 {
    margin-left: 2em;
    text-indent: -2em;
    margin-top: 1.7em;
    margin-bottom: 0
    }
p.title2 + p {
    margin-top: 0.3em
    }
p.title3 {
    margin-left: 2em;
    text-indent: -2em;
    margin-top: 1em;
    margin-bottom: 0
    }
p.title3 + p {
    margin-top: 0.3em
    }
p.title2 + p.title2 {
    margin-top: 1.7em
    }
p.title3 + p.title2 {
    margin-top: 1.7em
    }
p.title2 + p.title3 {
    margin-top: 0.8em
    }
p.title3 + p.title3 {
    margin-top: 0.8em
    }
span.r-align {
    display: inline-block;
    text-align: right;
    padding: 0;
    margin-right: 2%;
    width: 45%;
    vertical-align: top
    }
div.container {
    text-align: center
    }
div.content {
    text-align: left;
    display: inline-block
    }
.blockquot {
    text-align: justify;
    margin-left: 5%;
    margin-right: 5%;
    font-size: 95%
    }
div.covernote {
    visibility: hidden;
    display: none
    }
@media all {
    div.covernote {
        visibility: visible;
        display: block
        }
    }
.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.chap {
    width: 65%;
    margin-left: 17.5%;
    margin-right: 17.5%
    }
hr.r20 {
    width: 20%;
    margin-left: 40%;
    margin-right: 40%;
    margin-top: 0.7em;
    margin-bottom: 0.7em
    }
table {
    margin-left: auto;
    margin-right: auto;
    font-size: 95%
    }
div.tab {
    display: table
    }
div.trow {
    display: table-row
    }
div.tcell {
    display: table-cell
    }
.tal {
    text-align: left
    }
.tar {
    text-align: right
    }
.tac {
    text-align: center
    }
.vab {
    vertical-align: bottom
    }
.plhi {
    padding-left: 1em;
    text-indent: -1em
    }
.pl2 {
    padding-left: 2em
    }
.pr03 {
    padding-right: 0.3em
    }
.prl03 {
    padding-right: 0.3em;
    padding-left: 0.3em
    }
.pt03 {
    padding-top: 0.3em
    }
.pt1 {
    padding-top: 1em
    }
.mb2em {
    margin-bottom: 2em
    }
.ml1em {
    margin-left: 1em
    }
.ml2em {
    margin-left: 2em
    }
.ml5em {
    margin-left: 5em
    }
.ml6em {
    margin-left: 6em
    }
.ml30pc {
    margin-left: 30%
    }
.mt1em {
    margin-top: 1em
    }
.mt15em {
    margin-top: 1.5em
    }
.mt2em {
    margin-top: 2em
    }
.mt6em {
    margin-top: 6em
    }
.mtb15em {
    margin-top: 1.5em;
    margin-bottom: 1.5em
    }
.mtb1em {
    margin-top: 1em;
    margin-bottom: 1em
    }
.mtb6em {
    margin-top: 6em;
    margin-bottom: 6em
    }
.fs60 {
    font-size: 60%
    }
.fs65 {
    font-size: 65%
    }
.fs80 {
    font-size: 80%
    }
.fs90 {
    font-size: 90%
    }
.fs85 {
    font-size: 85%
    }
.fs120 {
    font-size: 120%
    }
.fs140 {
    font-size: 140%
    }
.hide {
    visibility: hidden
    }
.nowrap {
    white-space: nowrap
    }
.center {
    text-align: center
    }
.smcap {
    font-variant: small-caps
    }
.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;
    color: #585858
    }
span[title].pagenum:after {
    content: attr(title)
    }
a:link {
    text-decoration: none;
    color: black;
    border-bottom: 1px dotted #000
    }
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
    }
.prime {
    font-size: 105%
    }
.figcenter {
    margin-left: auto;
    margin-right: auto;
    margin-top: 1em;
    text-align: center;
    font-size: 90%
    }
.figcenter div {
    text-align: justify
    }
.footnotes {
    border: dashed 1px
    }
.footnote {
    margin-left: 10%;
    margin-right: 10%;
    font-size: 0.9em
    }
.footnote .label {
    text-align: right;
    text-indent: 0;
    border-bottom: 1px dotted
    }
.label:hover {
    background: aqua
    }
.fnanchor {
    vertical-align: baseline;
    margin-left: 0.05em;
    font-weight: normal;
    font-style: normal;
    text-decoration: none;
    white-space: nowrap
    }
.transnote {
    background-color: #F5F5F5;
    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
    }