body {
    margin-left: 10%;
    margin-right: 10%
    }
h1, h2, h3, h4, h5, h6 {
    text-align: center;
    margin: 3em auto 3em auto;
    clear: both
    }
h1.pg, h3.pg {
    text-align: center;
    margin: 0 auto 0 auto;
    clear: both
    }
p {
    margin-top: 0.75em;
    text-align: justify;
    margin-bottom: 0.75em;
    text-indent: 1em
    }
hr {
    border-width: 1px 0 0 0;
    border-style: solid;
    border-color: black;
    clear: both
    }
table {
    margin: 2em auto 2em auto;
    text-align: center;
    border-collapse: collapse
    }
th {
    vertical-align: top;
    padding-bottom: 1em;
    font-size: 0.8em
    }
td {
    vertical-align: top;
    padding-bottom: 1em
    }
th.thl {
    text-align: left;
    text-indent: 0;
    padding-right: 2em
    }
th.thr {
    text-align: right;
    text-indent: 0;
    padding-left: 2em
    }
td.tdl {
    text-align: left;
    text-indent: 0;
    padding-right: 2em
    }
td.tdl2 {
    text-align: left;
    text-indent: 0;
    padding-right: 0
    }
td.tdr {
    text-align: right;
    text-indent: 0;
    padding-right: 2em
    }
td.tdr2 {
    text-align: right;
    text-indent: 0;
    padding-left: 2em
    }
ul li {
    list-style: none;
    text-align: left
    }
ins.trans {
    text-decoration: none;
    border-bottom: thin dashed silver
    }
img {
    border: 1px solid black
    }
em {
    font-style: italic
    }
.figc {
    margin: 0 auto 0 auto;
    text-align: center
    }
.figcenter {
    margin: 5em auto 3em auto;
    text-align: center
    }
.pagenum {
    font-weight: normal;
    font-variant: normal;
    font-style: normal;
    letter-spacing: normal;
    text-indent: 0;
    text-align: right;
    color: #999;
    background-color: #fff
    }
.blockquot {
    margin-left: 4em;
    margin-right: 4em
    }
.block {
    margin: 2em auto 1em auto;
    text-align: center;
    width: 18em
    }
.center {
    text-align: center
    }
.smcap {
    font-variant: small-caps
    }
.caption {
    font-weight: bold;
    font-size: 0.9em
    }
.noi {
    text-indent: 0
    }
.author {
    font-size: 1.5em;
    text-align: center;
    text-indent: 0;
    margin: 1em auto 5em auto
    }
.tp {
    text-indent: 0;
    text-align: center;
    line-height: 2em;
    margin: 8em auto 3em auto
    }
.title {
    font-size: 2em;
    margin: 5em auto 3em auto;
    word-spacing: 0.5em
    }
.by {
    font-size: 1em
    }
.author2 {
    font-size: 1.8em
    }
.pub {
    text-indent: 0;
    text-align: center;
    margin: 3em auto 5em auto
    }
.ls {
    letter-spacing: 1em
    }
.pl {
    padding-left: 25em
    }
.lh {
    line-height: 1.5em
    }
.anchor {
    line-height: 0
    }
.l1 {
    padding-left: 2em
    }
.l2 {
    padding-left: 4em
    }
.l3 {
    padding-left: 6em
    }
.tn {
    margin: 5em auto 5em auto;
    border: 1px solid silver;
    background: #f5f5f5;
    padding: 1em;
    text-align: center
    }
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
    }
pre {
    font-size: 85%
    }