body {
    margin-left: 10%;
    margin-right: 10%
    }
h1, h2, h3, h4 {
    text-align: center;
    clear: both
    }
h1 {
    line-height: 0.9em;
    padding-top: 0
    }
h2 {
    padding-top: 1.5em
    }
p {
    margin-top: 0.75em;
    text-align: justify;
    margin-bottom: 0.75em
    }
table {
    margin-left: auto;
    margin-right: auto
    }
ul {
    list-style-type: none;
    padding-left: 0
    }
li {
    padding-top: 0.25em;
    margin-left: 1em;
    padding-left: 1em;
    text-indent: -2em
    }
p.ralign {
    text-align: right;
    padding-right: 2em
    }
p.pad-tb {
    padding: 4em 0
    }
div#title, div#menu {
    border: 4px double #000;
    max-width: 20em;
    margin: 2em auto;
    padding: 2em 1em
    }
div#dedic {
    max-width: 24em;
    margin: 2em auto
    }
div#menu2 {
    border: 1px solid #000;
    max-width: 20em;
    margin: 2em auto;
    padding: 2em 1em
    }
div.tn {
    background-color: #CFC;
    border: solid #38610B 1px;
    color: #000;
    font-size: 80%;
    margin: 4em;
    padding: 1em
    }
div.figcenter {
    text-align: center;
    margin: auto;
    padding: 1em 0
    }
span.pagenum {
    color: gray;
    font-size: small;
    font-style: normal;
    text-align: right
    }
span.sub {
    font-size: 75%
    }
span.pad-r {
    padding-right: 4em
    }
.center {
    text-align: center
    }
.med {
    font-size: 110%
    }
.lg {
    font-size: 125%
    }
.xlg {
    font-size: 150%
    }
.sm {
    font-size: 65%
    }
.caption {
    font-size: 90%
    }