/**/
body {
    margin-left: 15%;
    margin-right: 15%
    }
p {
    margin-top: 0.2em;
    margin-bottom: 0.2em
    }
sup {
    font-size: 75%
    }
.headline1 {
    font-size: 150%
    }
.headline2 {
    font-size: 120%
    }
/* to hide page numbers, set color to #FFFFFF */
.pagenum {
    text-align: center;
    color: #333
    }
.firstletter {
    padding-right: 0.2em;
    margin-top: -0.2em;
    font-size: 300%
    }
ins.correction {
    border-bottom: thin dotted red
    }
.speaker {
    font-family: sans-serif
    }
.roman {
    font-family: sans-serif;
    font-size: 95%
    }
.italics {
    font-size: 120%;
    font-style: italic
    }
/**/