body {
    margin-left: 10%;
    margin-right: 10%
    }
hr {
    width: 80%
    }
hr.short {
    width: 22em
    }
hr.shorter {
    width: 8em
    }
td {
    vertical-align: top;
    font-size: 90%;
    padding: 0.5em
    }
p.preface {
    margin-right: 22%
    }
p.indent {
    margin-left: 4em
    }
.sidenote {
    padding-left: 1em;
    font-size: 95%;
    font-weight: normal;
    font-style: normal;
    text-align: left
    }
.footnote {
    padding-left: 1em;
    font-size: 90%;
    font-weight: normal;
    font-style: normal;
    text-align: left
    }
.firstletter {
    padding-right: 0.2em;
    margin-bottom: -0.3em;
    font-size: 400%;
    vertical-align: top
    }
.verse {
    margin-left: 2em;
    margin-top: 0.1em;
    margin-bottom: 0.1em
    }
.publist1 {
    font-size: 90%;
    font-family: monospace;
    margin-left: 2em;
    text-indent: -1.5em
    }
.publist {
    font-size: 90%;
    font-family: monospace;
    margin-left: 2em;
    text-indent: -2em
    }
.contents {
    margin-left: 6em;
    line-height: 1.5em
    }
.mynote {
    font-size: 90%;
    font-family: sans-serif
    }
.mynote2 {
    background-color: #DDE;
    color: #000;
    padding: 0.5em;
    margin-left: 20%;
    margin-right: 20%;
    font-family: sans-serif;
    font-size: 95%
    }
ins.correction {
    text-decoration: none;
    border-bottom: thin dotted red
    }
.pagenum {
    font-size: 90%;
    font-weight: normal;
    font-style: normal;
    text-align: left
    }
.smallcaps {
    font-variant: small-caps
    }
.extended {
    letter-spacing: 0.2em;
    font-variant: small-caps
    }
.greek {
    font-size: 95%
    }