p {
    margin-top: 0.75em;
    text-align: justify;
    margin-bottom: 0.75em
    }
h1, h2 {
    text-align: center;
    clear: both;
    margin-top: 2em;
    margin-bottom: 1em
    }
h3 {
    text-align: center;
    clear: both;
    margin-top: 3em;
    margin-bottom: 2em;
    font-size: x-large
    }
hr {
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: auto;
    margin-right: auto;
    clear: both
    }
.hr80 {
    width: 80%
    }
.hr15 {
    width: 15%
    }
div.textbody p {
    text-indent: 0.5em
    }
div.note {
    margin: 4em 10% 0 10%;
    padding: 0 0.5em 0 0.5em;
    border: 1px solid;
    background-color: rgb(232, 232, 232);
    color: black;
    font-size: smaller
    }
div.titlepage h1 {
    font-size: xx-large;
    letter-spacing: 0.35ex;
    padding-left: 0;
    line-height: 200%;
    margin-top: 1em;
    margin-bottom: 5em
    }
div.titlepage h2 {
    font-size: x-large;
    padding-left: 0;
    margin-top: 6em;
    margin-bottom: 0
    }
div.publisher {
    margin-top: 6em;
    text-align: center;
    font-size: large
    }
.gesperrt {
    letter-spacing: 0.35ex;
    padding-left: 0.35ex;
    font-style: normal
    }
a:link {
    text-decoration: none;
    color: rgb(10%, 30%, 60%)
    }
a:visited {
    text-decoration: none;
    color: rgb(10%, 30%, 60%)
    }
a:hover {
    text-decoration: underline
    }
a:active {
    text-decoration: underline
    }
body {
    margin-left: 10%;
    margin-right: 10%
    }
.pagenum {
    font-size: x-small;
    font-weight: normal;
    font-style: normal;
    text-align: right;
    text-indent: 0;
    color: gray
    }
.bigletter {
    font-size: 150%
    }
.headerblock {
    margin-left: 40%;
    margin-right: 10%;
    margin-bottom: 2em;
    margin-top: -2em
    }
.right {
    text-align: right;
    margin-right: 30%;
    width: auto;
    margin-bottom: 2em
    }
.subchapter {
    text-align: center;
    font-size: large;
    margin-top: -1.5em;
    margin-bottom: 2em
    }
.center {
    text-align: center;
    margin-top: 1em;
    margin-bottom: 1em
    }
.extra {
    margin-top: 6em
    }
.poem {
    margin-left: 30%;
    margin-right: 10%;
    text-align: left
    }
.poem br {
    display: none
    }
.poem .stanza {
    margin: 1em 0 1em 0
    }
.poem span.i0 {
    display: block;
    margin-left: 0;
    padding-left: 3em;
    text-indent: -3em
    }
table {
    margin-left: auto;
    margin-right: auto
    }
table.toc {
    font-size: medium;
    max-width: 50ex;
    line-height: 125%;
    margin-top: 1em;
    margin-bottom: 1em
    }
table.toc td.onpage {
    text-align: right
    }
ins.correction {
    text-decoration: none;
    border-bottom: thin dotted red
    }
ul {
    list-style-type: square;
    line-height: 200%
    }