body {
    margin-left: 10%;
    margin-right: 10%
    }
h1, h2, h3 {
    clear: both;
    font-weight: 500;
    text-align: center
    }
h1 {
    letter-spacing: 0.15em
    }
h3 {
    font-size: 110%;
    padding-top: 1em
    }
h4 {
    text-decoration: underline
    }
p {
    margin-bottom: 0.75em;
    margin-top: 0.75em;
    text-align: justify
    }
hr {
    clear: both;
    margin: 2em auto;
    width: 33%
    }
table {
    margin-left: auto;
    margin-right: auto
    }
ul {
    list-style-type: none
    }
ul.index {
    width: 75%
    }
ul.sub {
    margin-left: 1.5em;
    padding-left: 0
    }
ul.corrections {
    list-style-type: circle
    }
div.tpbox {
    margin-left: auto;
    margin-right: auto
    }
div.tp {
    border-left: 2px solid #000;
    border-right: 2px solid #000;
    padding: 4em 0 3em
    }
div.smbox {
    border: solid 1px;
    margin: auto
    }
div.ad {
    margin: auto;
    padding: 2em 1em
    }
div.ad2 {
    margin: auto;
    padding: 2em 1em
    }
div.adbox1 {
    border: solid 1px;
    margin: auto;
    padding: 2em 1em
    }
div.tn {
    background-color: #CFC;
    border: dashed 1px;
    color: #000;
    font-size: 80%;
    margin: 4em;
    padding: 1em
    }
div.skiplink {
    background-color: #CFC;
    border: dashed 1px;
    color: #000;
    font-size: 80%;
    margin: 5em auto 2em
    }
div.decoline {
    margin: auto;
    padding-bottom: 1.5em;
    text-align: center
    }
div.decoline-ad2 {
    margin: auto;
    padding-top: 2em;
    text-align: center
    }
div.tpdeco {
    margin: auto;
    padding: 3em 0;
    text-align: center
    }
div.trademark {
    margin: auto;
    padding-top: 1em;
    text-align: center
    }
div.royalpatent {
    margin: auto;
    padding: 1em 0 0 2em;
    text-align: center
    }
span.pagenum {
    font-size: 75%;
    text-align: right
    }
span.norm {
    font-size: 90%;
    font-weight: 400
    }
.pad-l {
    padding-left: 2em
    }
.pad-l-sm {
    padding-left: 1em
    }
.sm {
    font-size: 75%
    }
.sm2 {
    font-size: 85%
    }
.sm3 {
    font-size: 95%
    }
.med {
    font-size: 110%
    }
.lg {
    font-size: 125%
    }
.lger {
    font-size: 135%
    }
.lgst {
    font-size: 160%
    }
.b1 {
    font-weight: 600;
    letter-spacing: 0.1em
    }
.lh1 {
    line-height: 1.75em
    }
.lh2 {
    line-height: 2em
    }
.bt {
    border-top: solid 1px
    }
.bt-dbl {
    border-top: double 3px;
    margin: auto
    }
.smcap {
    font-variant: small-caps
    }
.ucsmcap {
    font-size: 80%
    }
h2, .spacey {
    letter-spacing: 0.2em
    }
h2.pad, p.pad-t {
    padding-top: 3em
    }
div.tp > p, .center {
    text-align: center
    }
div.decoline2, div.decoline-ad {
    margin: auto;
    text-align: center
    }