body {
    margin-left: 15%;
    margin-right: 15%;
    max-width: 40em
    }
h1 {
    text-align: center;
    clear: both
    }
h2 {
    text-align: center;
    clear: both;
    font-size: medium
    }
p {
    margin-top: 0.75em;
    text-align: justify;
    margin-bottom: 0.75em;
    text-indent: 1em
    }
p.sl1 {
    margin-top: 1em;
    margin-left: 1em;
    margin-bottom: 0
    }
p.sl2 {
    margin-top: 0;
    margin-left: 3em;
    text-align: left;
    text-indent: 0
    }
.p0 {
    margin-top: 0
    }
.p1 {
    margin-top: 1em
    }
.p2 {
    margin-top: 2em
    }
.p4 {
    margin-top: 4em
    }
.p22 {
    margin-top: 2em;
    margin-bottom: 2em
    }
.noindent {
    text-indent: 0
    }
.indent1 {
    text-indent: 1em
    }
.indent20 {
    padding-left: 2em
    }
.indent22 {
    padding-left: 2em;
    text-indent: 2em
    }
.indent62 {
    padding-left: 6em;
    text-indent: -2em
    }
.center {
    text-align: center
    }
.right {
    text-align: right
    }
.underline {
    text-decoration: underline
    }
.blackletter {
    font-family: "Old English Text MT", fantasy, sans-serif
    }
.monospace {
    font-family: monospace
    }
.padbot1 {
    padding-bottom: 1em
    }
.normal {
    font-style: normal;
    font-weight: normal
    }
.mb0 {
    margin-bottom: 0
    }
.xsmall {
    font-size: x-small
    }
.small {
    font-size: small
    }
.medium {
    font-size: medium
    }
.large {
    font-size: large
    }
.xlarge {
    font-size: x-large
    }
.smcap {
    font-variant: small-caps
    }
.smcap85 {
    font-variant: small-caps;
    font-size: 85%
    }
hr {
    width: 33%;
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: auto;
    margin-right: auto;
    clear: both
    }
hr.c5 {
    width: 5%
    }
hr.c15 {
    width: 15%
    }
hr.c25 {
    width: 25%
    }
hr.c75 {
    width: 75%
    }
.contents {
    width: 80%;
    margin-top: 2em;
    margin-left: auto;
    margin-right: auto
    }
.dico {
    width: 100%;
    margin-top: 2em;
    border-collapse: collapse;
    margin-left: auto;
    margin-right: auto;
    border-spacing: 0
    }
.dico > caption {
    font-size: large;
    margin-top: 2em;
    margin-bottom: 1em
    }
.dico > tbody > tr > td {
    padding-left: 0;
    width: 50%;
    border-spacing: 0;
    padding-bottom: 0.5ex;
    vertical-align: top;
    padding-left: 1em;
    text-indent: -1em
    }
.dict_curly > table {
    border-collapse: collapse;
    border-spacing: 0
    }
.dict_curly > table > tbody > tr {
    border: 0;
    margin: 0;
    padding: 0;
    width: auto
    }
.dict_curly > table > tbody > tr > td {
    width: auto;
    padding: 0 0 0.5ex 0
    }
.cbrace2 {
    white-space: nowrap;
    vertical-align: middle;
    font-size: 4ex;
    text-align: center;
    font-weight: lighter
    }
.cbrace3 {
    white-space: nowrap;
    vertical-align: middle;
    font-size: 6ex;
    text-align: center;
    font-weight: lighter
    }
.contents2 {
    width: 80%;
    margin-top: 2em;
    margin-left: auto;
    margin-right: auto
    }
.contents2_td1 {
    font-variant: small-caps;
    width: 35%
    }
.contents2_td2 {
    font-variant: small-caps;
    width: 35%;
    text-align: right
    }
.bsect {
    margin-top: 3em;
    font-size: large;
    text-align: center;
    font-weight: bold;
    text-indent: 0
    }
.books {
    margin-top: 1em;
    width: 100%
    }
.bt {
    padding-left: 2em;
    text-indent: -2em;
    text-align: justify
    }
.books_td2, .books_td3, .books_td4 {
    text-align: right;
    width: 5%
    }
.books2 {
    margin-top: 1em;
    width: 100%
    }
.books2_tr1, .books2_tr2 {
    text-align: center
    }
.books2_tr3 {
    text-align: right
    }
.footnotes {
    border: 1px dashed;
    background-color: #F0FFFF
    }
.footnote {
    margin-left: 15%;
    margin-right: 15%;
    font-size: 0.9em
    }