body {
    font-size: 1em;
    text-align: justify;
    margin-left: 8%;
    margin-right: 8%
    }
h1 {
    font-size: 120%;
    text-align: center;
    margin-top: 2em;
    margin-bottom: 2em
    }
h2 {
    font-size: 110%;
    text-align: center;
    margin-top: 4em;
    margin-bottom: 1em
    }
a:focus, a:active {
    background-color: #fe6
    }
hr.hr80 {
    width: 80%;
    text-align: center
    }
hr.hr20 {
    width: 20%;
    text-align: center
    }
ul.none {
    list-style-type: none
    }
sup {
    line-height: 0
    }
table {
    border-collapse: collapse;
    table-layout: fixed;
    width: 90%;
    margin-left: 5%;
    margin-top: 1em;
    margin-bottom: 1em
    }
table.wide {
    border-collapse: collapse;
    table-layout: fixed;
    width: 100%;
    margin-left: 0%;
    margin-top: 1em;
    margin-bottom: 1em
    }
p {
    text-indent: 1em
    }
p.section {
    text-indent: 0
    }
.p2 {
    margin-top: 2em;
    margin-bottom: 1em
    }
.p4 {
    margin-top: 4em;
    margin-bottom: 1em
    }
.pagenum {
    visibility: hidden;
    text-align: right;
    font-weight: normal;
    font-variant: normal;
    font-style: normal;
    letter-spacing: normal;
    color: #C0C0C0;
    background-color: inherit
    }
.smcap {
    font-variant: small-caps;
    font-size: 95%
    }
.smaller {
    font-size: smaller
    }
.bigger {
    font-size: 120%
    }
.small {
    font-size: 70%
    }
.box {
    border-style: solid;
    border-width: 3px;
    margin: 1em 10% 1em 10%;
    padding: 1em
    }
.pub {
    font-size: 90%;
    margin-left: 10%
    }
.title {
    font-size: 110%;
    text-align: center;
    line-height: 1.8em;
    margin-top: 2em
    }
.section {
    font-size: 105%;
    line-height: 1.5em;
    font-weight: bold
    }
.caption {
    margin-left: 10%;
    margin-right: 10%;
    margin-bottom: 1.5em;
    font-size: 90%;
    text-indent: 0
    }
.quote {
    margin-left: 5%;
    font-size: 95%
    }
.add1em {
    margin-left: 1em
    }
.add2em {
    margin-left: 2em
    }
.min2em {
    margin-left: -2em
    }
.right10 {
    text-align: right;
    margin-right: 10%
    }
.right {
    text-align: right
    }
.center {
    text-align: center;
    text-indent: 0
    }
.figcenter {
    text-align: center;
    font-size: 90%
    }
.floatright {
    clear: right;
    text-align: center
    }
.floatleft {
    clear: left;
    text-align: center
    }
.nofloat {
    clear: both
    }
.borderbot {
    border-bottom: solid
    }