body {
    margin-left: 10%;
    margin-right: 10%
    }
h1, h2, h3, h4 {
    text-align: center;
    clear: both
    }
p {
    margin-top: 0.75em;
    text-align: justify;
    margin-bottom: 0.75em
    }
hr {
    margin: 3em auto 3em auto;
    height: 0;
    border-width: 1px 0 0 0;
    border-style: solid;
    border-color: #dcdcdc;
    clear: both
    }
hr.hr2 {
    margin: 3em auto 3em auto
    }
td {
    padding: 0 1em
    }
th {
    padding: 0 1em
    }
.pagenum {
    visibility: hidden;
    font-size: smaller;
    text-align: right;
    color: #999
    }
.blockquot {
    margin-left: 15%;
    margin-right: 10%
    }
.blockquot2 {
    margin-left: 35%;
    margin-right: 10%
    }
.caption {
    font-weight: bold
    }
.figcenter {
    margin: auto;
    text-align: center
    }
.figleft {
    clear: left;
    margin: 0 1em 0 0;
    padding: 0;
    text-align: left
    }
.bord img {
    border: 1px solid black
    }
p.caption2 {
    margin-top: 0;
    font-size: 70%;
    text-align: center
    }
div.tn {
    background-color: #EEE;
    border: dashed 1px;
    color: #000;
    margin-left: 20%;
    margin-right: 20%;
    margin-top: 5em;
    margin-bottom: 5em;
    padding: 1em
    }
ul.corrections {
    list-style-type: circle
    }