body {
    margin-left: 8%;
    margin-right: 8%;
    font-size: 100%
    }
p {
    margin-top: 0.5em;
    text-indent: 1em;
    text-align: justify;
    margin-bottom: 0.5em;
    line-height: 105%
    }
h1 {
    text-align: center;
    clear: both;
    font-weight: normal;
    font-style: normal;
    font-size: 150%;
    line-height: 120%;
    margin-top: 2.5em;
    margin-bottom: 1em
    }
h2 {
    text-align: center;
    clear: both;
    font-weight: 600;
    font-style: normal;
    font-size: 125%;
    line-height: 120%;
    margin-top: 2em;
    margin-bottom: 1em
    }
h3, h4 {
    text-align: left;
    clear: both;
    font-weight: 600;
    font-style: normal;
    font-size: 105%;
    line-height: 105%;
    text-indent: -1em;
    margin-left: 1em;
    margin-top: 1.25em;
    margin-bottom: 0.5em
    }
hr {
    margin-left: 25%;
    margin-right: 25%;
    margin-top: 1em;
    margin-bottom: 1em
    }
#tnote {
    background-color: #EEE;
    color: inherit;
    margin: 1em 30%;
    padding: 0.5em 1em;
    border: 0.1em solid gray;
    font-size: small
    }
#tnote p {
    text-indent: 0;
    text-align: left;
    margin-bottom: 0.75em;
    margin-top: 0.25em
    }
.front {
    margin: 2em 20%
    }
.front p {
    margin-top: 2em;
    margin-bottom: 2em;
    text-indent: 0;
    text-align: center;
    line-height: 125%
    }
.pagenum {
    font-size: small;
    font-style: normal;
    font-weight: normal;
    text-align: right
    }
.toc {
    border-collapse: separate;
    border-spacing: 0.2em;
    width: 80%;
    max-width: 25em;
    line-height: 95%;
    font-size: 95%;
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 2em
    }
.toc td.chapnum {
    width: 4.5em;
    vertical-align: top;
    text-align: right
    }
.toc td.title {
    padding-left: 1.5em;
    text-indent: -1em;
    vertical-align: top;
    text-align: left;
    font-variant: small-caps
    }
.toc td.pag {
    width: 3em;
    text-align: right;
    vertical-align: bottom;
    font-size: small
    }
.indent p {
    margin-left: 1em;
    font-size: 90%
    }
.indent2 p {
    margin-left: 2em;
    font-size: 90%
    }
.blank3 {
    text-indent: 0;
    display: inline-block;
    width: 3em
    }
.blank5 {
    text-indent: 0;
    display: inline-block;
    width: 5em
    }
.cargo {
    border-collapse: collapse;
    width: 80%;
    max-width: 30em;
    line-height: 95%;
    font-size: smaller;
    margin: 2em auto
    }
.cargo td {
    border: 0.1em solid black;
    padding: 0.5em;
    vertical-align: top;
    text-align: center
    }
.cargo td.left {
    border-width: 0.1em 0.1em 0.1em 0
    }
.cargo td.right {
    border-width: 0.1em 0 0.1em 0.1em
    }
.articles {
    border-collapse: collapse;
    width: 80%;
    max-width: 30em;
    line-height: 95%;
    font-size: smaller;
    margin: 2em auto
    }
.articles td {
    border: 0.1em solid black;
    vertical-align: top;
    text-align: left
    }
.articles td.right {
    width: 40%
    }
.provisions {
    border-collapse: collapse;
    width: 95%;
    max-width: 40em;
    line-height: 95%;
    font-size: smaller;
    margin: 2em auto
    }
.provisions td {
    border: solid black;
    border-width: 0 0.1em 0 0.1em;
    vertical-align: top;
    text-align: center
    }
.provisions td.top-left {
    border-width: 0.1em 0 0.1em 0
    }
.provisions td.top-units {
    border-width: 0.1em 0.1em 0.1em 0
    }
.provisions td.top {
    border-width: 0.1em 0.1em 0.1em 0.1em
    }
.provisions td.top-right {
    border-width: 0.1em 0 0.1em 0.1em
    }
.provisions td.left {
    border-width: 0 0 0 0;
    text-align: left
    }
.provisions td.units {
    text-align: right;
    border-width: 0 0.1em 0 0
    }
.provisions td.right {
    border-width: 0 0 0 0.1em
    }
.provisions td.bottom-left {
    border-width: 0 0.1em 0.1em 0;
    text-align: left
    }
.provisions td.bottom {
    border-width: 0 0.1em 0.1em 0.1em
    }
.provisions td.bottom-right {
    border-width: 0 0 0.1em 0.1em
    }
.fnanchor {
    vertical-align: 15%;
    font-size: x-small
    }
.footnote p {
    margin-left: 3.5%;
    margin-right: 3.5%;
    font-size: small
    }
.image-center {
    margin: 1.5em auto;
    text-align: center
    }
.foot {
    margin-top: 0.25em;
    margin-bottom: 1em
    }
div.right1 {
    padding-right: 3%;
    text-align: right
    }
div.left1 {
    padding-left: 3%;
    text-align: left
    }
div.left2 {
    padding-left: 6%;
    text-align: left
    }
div.right3 {
    padding-right: 9%;
    text-align: right
    }
.misc {
    width: 95%;
    margin-left: auto;
    margin-right: auto;
    line-height: 97.5%
    }
.misc ol.n {
    list-style-type: none;
    font-size: 90%;
    padding-left: 2em
    }
.misc ol.d {
    list-style-position: inside;
    list-style-type: decimal;
    font-size: 90%;
    padding-left: 0.5em
    }
.misc li {
    margin-top: 0.4em;
    margin-left: 2em;
    text-indent: -2em
    }
.app-a p {
    text-indent: 0;
    text-align: center
    }
.app-a h3 {
    text-indent: 0;
    text-align: center
    }
.app-b h3 {
    font-weight: normal
    }
div.index {
    font-size: 90%;
    width: 85%;
    max-width: 35em;
    margin-left: auto;
    margin-right: auto;
    line-height: 97.5%
    }
.index p {
    text-indent: 0;
    margin-left: 0.5em;
    margin-bottom: 0.5em
    }
ul {
    list-style-type: none;
    font-size: inherit;
    padding-left: 0.5em;
    margin-top: 0
    }
li {
    margin-top: 0.25em;
    margin-left: 2em;
    text-indent: -2em
    }
.notice {
    width: 70%;
    max-width: 25em;
    margin-top: 0.5em;
    margin-left: auto;
    margin-right: auto;
    padding: 0.5em 1em
    }
.nodent {
    text-indent: 0
    }
.center {
    text-indent: 0;
    text-align: center
    }
.bold {
    font-weight: bold
    }
.uppercase {
    text-transform: uppercase
    }
.smcap {
    font-variant: small-caps
    }
.large {
    font-size: large
    }
.x-large {
    font-size: x-large
    }
.small {
    font-size: small
    }
.smaller {
    font-size: smaller
    }
.x-small {
    font-size: x-small
    }
.gap-above {
    margin-top: 2em
    }
.gesperrt {
    letter-spacing: 3em
    }
.condense {
    letter-spacing: -0.25em
    }
@media screen, print {
    img.drop-cap {
        float: left;
        margin: 0 0.5em 0 0
        }
    p.drop-cap:first-letter {
        margin-left: -0.9em;
        color: transparent;
        visibility: hidden
        }
    }
@media all {
    img.drop-cap {
        display: none
        }
    p.drop-cap:first-letter {
        color: inherit;
        visibility: visible;
        margin-left: 0
        }
    }