body {
    margin-left: 10%;
    margin-right: 10%
    }
div.titlepage {
    margin: 4em auto;
    text-align: center
    }
h1, h2, h3, h4, h5, h6 {
    text-align: center;
    font-style: normal;
    font-weight: normal;
    line-height: 1.5;
    margin-top: 0.5em;
    margin-bottom: 0.5em
    }
h1 {
    font-size: 200%;
    line-height: 2;
    margin-bottom: 0
    }
h2 {
    font-size: 175%
    }
h3 {
    font-size: 150%;
    margin-top: 2em
    }
h4 {
    font-size: 120%;
    margin-top: 2em
    }
h5 {
    font-size: 100%
    }
h5.ital {
    font-size: 105%;
    margin-top: 1em;
    font-style: italic
    }
div.correction h5 {
    font-size: medium;
    font-weight: bold;
    text-align: left;
    margin-top: 0.25em
    }
h6 {
    font-size: 85%
    }
span.subhead {
    font-size: 67%;
    line-height: 2
    }
p span.subhead {
    font-size: 75%
    }
p {
    margin-top: 0.5em;
    margin-bottom: 0;
    line-height: 1.2
    }
div.maintext > p {
    text-indent: 1.5em;
    margin-top: 0
    }
div.maintext p[class] {
    text-indent: 0
    }
div.maintext p.paragraph {
    text-indent: 1em
    }
div.maintext > p.center {
    margin-top: 0.5em;
    margin-bottom: 0.5em
    }
div.maintext p.space {
    margin-top: 1em
    }
p.center {
    text-align: center
    }
p.verse, div.maintext p.verse {
    margin-left: 7em;
    text-indent: -4em
    }
div.picture {
    text-align: center;
    margin: 1em auto
    }
p.illustration, div.maintext p.illustration {
    text-align: center;
    margin-top: 1em;
    margin-bottom: 1em
    }
p.caption {
    text-align: center;
    margin: 0.5em auto 1em;
    font-size: 83%
    }
p.leftside, p.rightside {
    font-size: 75%;
    padding: 0;
    margin-top: 0.5em
    }
p.leftside {
    display: inline-block;
    width: 45%;
    text-align: left
    }
p.rightside {
    display: inline-block;
    width: 45%;
    text-align: right
    }
p.full {
    width: 100%
    }
p.rightside + p.caption {
    margin-top: 0.5em
    }
div.picblock {
    display: inline-block;
    margin: 0 1em
    }
.figfloat {
    clear: right;
    padding: 0 0 0.5em 0.5em
    }
div.figfloat {
    clear: right;
    padding: 0 0 0 1em;
    margin: 0
    }
.allclear {
    clear: both
    }
.smallroman {
    text-transform: lowercase;
    font-variant: small-caps
    }
.smallcaps {
    font-variant: small-caps;
    font-style: normal
    }
.smallest {
    font-size: 75%
    }
.small {
    font-size: 75%
    }
.mynote, .correction {
    background-color: #DDE;
    color: #000;
    border: 1px solid #CCD
    }
ins.correction {
    text-decoration: none;
    padding: 0.1em
    }
div.correction {
    font-family: sans-serif;
    font-size: 88%;
    margin: 0.25em 5%;
    padding: 0.5em 0.75em
    }
div.correction p {
    margin-left: 1em;
    text-indent: -1em
    }
span.citation {
    font-size: medium;
    font-family: serif
    }
span.pagenum {
    font-size: small;
    font-weight: normal;
    font-style: normal;
    text-align: right;
    text-indent: 0
    }
.mynote {
    font-family: sans-serif;
    font-size: 92%
    }
div.mynote {
    margin: 1em 5%;
    padding: 0.5em 1em 1em
    }
div.mynote a {
    text-decoration: none
    }
div.endnote {
    padding: 0.5em 1em 1em;
    margin: 1em;
    border: 3px ridge #A9F;
    font-family: sans-serif;
    font-size: 90%
    }
@media print {
    .screenstyle {
        display: none
        }
    body {
        margin-left: 2%;
        margin-right: 2%
        }
    a {
        text-decoration: none;
        color: inherit
        }
    div.maintext {
        page-break-before: always
        }
    h1, h2, h3, h4, h5, h6 {
        page-break-after: avoid
        }
    p.caption, p.leftside, p.rightside {
        page-break-before: avoid
        }
    span.pagenum {
        position: static;
        float: right;
        width: auto;
        margin-right: -10%
        }
    ins.correction {
        background-color: #CCC;
        border-bottom: none
        }
    }
@media screen {
    span.pagenum {
        position: absolute;
        right: 2%
        }
    .mynote ins.correction {
        border-bottom: 1px dotted red
        }
    }