/**/
body {
    margin: auto 15%
    }
h1, h2, h3, h4 {
    text-align: center;
    /* all headings centered */
    clear: both
    }
.break {
    page-break-before: avoid
    }
.page {
    page-break-before: always;
    page-break-after: always
    }
p {
    margin-top: 0.51em;
    text-align: justify;
    margin-bottom: 0.49em
    }
.p2 {
    margin-top: 2em
    }
.p4 {
    margin-top: 4em
    }
.p10 {
    margin-top: 10em
    }
.dropcap:first-letter {
    font-size: 2.5em;
    line-height: 80%;
    padding: 0;
    text-indent: 0;
    margin: 0 0.2em 0 0
    }
.dropcapa {
    font-size: 2.5em;
    line-height: 80%;
    padding: 0;
    text-indent: 0;
    margin: 0 0.2em 0 0
    }
div.frontpage {
    page-break-before: always;
    page-break-after: always;
    text-align: center;
    line-height: 1.5em
    }
hr.chap {
    width: 65%;
    margin-top: 4em;
    margin-bottom: 4em;
    visibility: hidden;
    page-break-before: always
    }
hr.full {
    width: 95%;
    margin-top: 6em;
    margin-bottom: 6em;
    visibility: hidden
    }
hr.small {
    width: 30%;
    margin-left: 35%;
    margin-right: 35%;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    visibility: visible
    }
.gesperrt {
    letter-spacing: 0.2em;
    margin-right: -0.2em
    }
em.gesperrt {
    font-style: normal
    }
.large {
    font-size: 120%
    }
.xlarge {
    font-size: 150%
    }
ul {
    list-style-type: none
    }
.err {
    border-bottom: thin dotted red
    }
.original {
    padding: 0;
    margin: auto
    }
.translation {
    padding: 0;
    margin: auto
    }
.sync {
    clear: both
    }
table {
    margin-left: auto;
    margin-right: auto
    }
.tdindex {
    vertical-align: top
    }
.tdr {
    text-align: right
    }
.pagenum {
    /* uncomment the next line for invisible page numbers */
    /*  visibility: hidden; */
    /* define the position */
    margin-right: 0;
    text-align: right;
    /* remove any special formating that could be inherited */
    font-style: normal;
    font-weight: normal;
    font-variant: normal;
    letter-spacing: 0;
    text-decoration: none;
    text-indent: 0;
    font-size: x-small;
    /* never wrap this */
    white-space: nowrap
    }
.pagenum span {
    /* do not show text that is meant for non-css version*/
    visibility: hidden
    }
.pagenum a {
    display: inline-block;
    color: #808080;
    border: 1px solid silver
    }
.pagenuml {
    /* uncomment the next line for invisible page numbers */
    /*  visibility: hidden; */
    /* define the position */
    margin-right: 0;
    text-align: right;
    /* remove any special formating that could be inherited */
    font-style: normal;
    font-weight: normal;
    font-variant: normal;
    letter-spacing: 0;
    text-decoration: none;
    text-indent: 0;
    font-size: x-small;
    /* never wrap this */
    white-space: nowrap
    }
.pagenuml span {
    /* do not show text that is meant for non-css version*/
    visibility: hidden
    }
.pagenuml a {
    display: inline-block;
    color: #808080;
    border: 1px solid silver
    }
.hidev {
    visibility: hidden
    }
.narrow {
    width: 40%;
    margin-left: 30%;
    margin-right: 30%;
    text-align: justify
    }
.center {
    text-align: center
    }
.right {
    text-align: right
    }
.smcap {
    font-variant: small-caps
    }
.indent {
    margin-left: 20%
    }
.u {
    text-decoration: underline
    }
.figcenter {
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: auto;
    margin-right: auto;
    clear: both;
    max-width: 100%;
    /* div no wider than
        screen, even when screen is narrow */
    text-align: center
    }
.caption {
    text-align: center
    }
img {
    max-width: 100%;
    border: none
    }
.endanchor {
    vertical-align: super;
    bottom: 0.4em;
    font-size: 80%;
    white-space: nowrap
    }
.endnote {
    margin-left: 5%;
    margin-right: 5%;
    font-size: 0.9em
    }
.endnote .label {
    vertical-align: baseline;
    font-size: 80%;
    text-decoration: none
    }
.endanchor {
    vertical-align: super;
    bottom: 0.4em;
    font-size: 80%;
    text-decoration: none
    }
.transnote {
    background-color: #E6E6FA;
    margin-left: 10%;
    margin-right: 10%;
    color: black;
    font-size: 0.9em;
    padding: 0.5em;
    margin-bottom: 5em;
    font-family: sans-serif, serif
    }
@media all {
    /* was @media handheld */
    .pagenum {
        display: none
        }
    .pagenuml {
        display: none
        }
    body {
        margin-left: 2%;
        margin-right: 2%;
        margin-top: 1%;
        margin-bottom: 1%
        }
    .translation {
        margin-left: 5%;
        margin-right: 10%
        }
    em.gesperrt {
        font-style: normal;
        font-weight: bold
        }
    }
/**/