body {
    margin-left: 7%;
    margin-right: 10%;
    font-size: 105%
    }
p {
    margin-top: 0.5em;
    text-indent: 1em;
    text-align: justify;
    margin-bottom: 0.5em;
    line-height: 120%
    }
h1 {
    text-align: center;
    clear: both;
    font-weight: normal;
    font-style: normal;
    font-size: 150%;
    line-height: 150%;
    margin-top: 1.5em;
    margin-bottom: 1.5em
    }
h2 {
    text-align: center;
    clear: both;
    font-weight: normal;
    font-size: 120%;
    line-height: 120%;
    margin-top: 1em;
    margin-bottom: 1em
    }
h3 {
    text-align: center;
    clear: both;
    font-weight: normal;
    font-style: normal;
    font-size: 110%;
    line-height: 110%;
    margin-top: 0.5em;
    margin-left: 0.5em
    }
hr {
    width: 40%;
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 30%;
    margin-right: 30%;
    clear: both
    }
#tnote {
    background-color: #EEE;
    color: inherit;
    margin: 5% 20%;
    padding: 0.5em 1em;
    border: 1px solid gray;
    font-size: small
    }
#tnote p {
    text-indent: 0;
    text-align: left;
    margin-bottom: 0.25em;
    margin-top: 0.25em
    }
.front {
    margin-top: 2em;
    margin-bottom: 2em
    }
.front p {
    margin-top: 2em;
    margin-bottom: 2em;
    text-indent: 0;
    text-align: center;
    line-height: 125%
    }
#toc {
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 3em
    }
#toc td {
    vertical-align: top;
    line-height: 95%;
    padding-left: 1em;
    text-indent: -0.5em;
    font-size: small
    }
#toc td.loc {
    vertical-align: bottom;
    padding-left: 2em;
    text-align: right
    }
#toc td.part {
    text-indent: 0;
    text-align: center;
    line-height: 150%;
    font-style: normal;
    font-size: large
    }
.pagenum {
    font-size: small;
    font-style: normal;
    font-weight: normal;
    text-align: right
    }
#vocab {
    font-size: 90%;
    margin-left: 0;
    margin-right: 5%
    }
#vocab ul {
    list-style-type: none;
    padding-left: 1em;
    font-size: inherit
    }
#vocab li {
    margin-top: 0;
    margin-left: 1em;
    text-indent: -1em
    }
.fnanchor {
    vertical-align: 0.3em;
    font-size: x-small;
    font-weight: normal;
    font-style: normal;
    text-decoration: none
    }
.footnote {
    margin-left: 2.5%;
    margin-right: 2.5%;
    margin-top: 1em;
    margin-bottom: 1em;
    font-size: small
    }
#force {
    margin-left: 3em;
    margin-right: auto
    }
#force td {
    line-height: 95%;
    padding-left: 0.5em;
    font-size: 90%
    }
#force td.loc {
    padding-left: 2em;
    text-align: right
    }
.misc {
    font-size: 90%;
    margin-left: 3em;
    margin-right: 5%
    }
.misc ul {
    list-style-type: none;
    padding-left: 1em;
    font-size: inherit
    }
.misc li {
    margin-top: 0
    }
p.number {
    text-indent: 0;
    text-align: center;
    margin-top: 2em
    }
p.date {
    text-align: right;
    margin-bottom: 0
    }
p.yours {
    margin-left: 80%;
    margin-bottom: 0;
    text-indent: -5em
    }
p.signed {
    margin-left: 40%;
    margin-top: 0;
    margin-bottom: 0.5em;
    text-indent: 0
    }
#treaty {
    text-indent: -2em;
    padding-left: 3em
    }
.image-center {
    margin: 1.5em auto;
    text-align: center
    }
.image-left {
    margin: 0 1em 0 0
    }
.caption p {
    text-align: center;
    text-indent: 0;
    margin-top: 0.25em;
    font-size: 95%
    }
.booklist1 div {
    text-align: center;
    font-size: 90%;
    font-family: sans-serif;
    margin-top: 2em;
    margin-bottom: 0.5em
    }
.booklist1 p {
    margin-top: 0;
    margin-bottom: 0;
    text-indent: 1em;
    text-align: justify;
    line-height: 110%
    }
.booklist1 p.block {
    padding-left: 5em;
    text-indent: 0
    }
.booklist1 p.nodent {
    text-indent: 0
    }
.booklist1 p.edition {
    text-indent: 0;
    text-align: center;
    font-size: x-small;
    margin-bottom: 0.5em
    }
.booklist1 ol {
    margin-left: 5em
    }
.booklist1 p.price {
    text-indent: 0;
    text-align: center
    }
.booklist1 p.noauthor {
    margin-top: 2em;
    text-indent: 1em;
    text-align: justify;
    line-height: 110%
    }
.booklist2 div {
    text-align: center;
    margin-top: 2em;
    margin-bottom: 0
    }
.booklist2 div.small {
    font-size: small;
    margin-top: 0;
    margin-bottom: 0
    }
.nodent {
    text-indent: 0
    }
.center {
    text-indent: 0;
    text-align: center
    }
.smcap {
    font-variant: small-caps
    }
.small {
    font-size: small
    }
.x-small {
    font-size: x-small
    }
.large {
    font-size: large
    }
.gap-above {
    margin-top: 2em
    }