body {
    margin-left: 10%;
    margin-right: 10%;
    line-height: 1.3
    }
h1 {
    text-align: center;
    clear: both;
    font-size: 1em;
    margin-top: 2em;
    margin-bottom: 0;
    font-weight: bold
    }
h2, h3, h4 {
    text-align: center;
    clear: both;
    font-size: 1em;
    margin-top: 2em;
    margin-bottom: 1em;
    font-weight: bold
    }
h4.hr_above {
    margin-top: 0
    }
p {
    margin-top: 0.75em;
    text-align: justify;
    margin-bottom: 0.75em
    }
p.frontpage {
    text-align: center;
    text-indent: 0;
    line-height: 1.8em
    }
p.hang_ind {
    text-indent: -2em;
    margin-left: 2em
    }
hr {
    clear: both
    }
hr.short1 {
    width: 18%;
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 41%;
    margin-right: 41%
    }
hr.short2 {
    width: 18%;
    margin-top: 0;
    margin-bottom: 2.5em;
    margin-left: 41%;
    margin-right: 41%
    }
hr.before_h {
    width: 40%;
    margin-top: 2.5em;
    margin-bottom: 1.5em;
    margin-left: 30%;
    margin-right: 30%
    }
hr.after_h {
    width: 40%;
    margin-top: 0;
    margin-bottom: 2.5em;
    margin-left: 30%;
    margin-right: 30%
    }
hr.fn {
    width: 25%;
    margin-left: 0;
    margin-top: 3em;
    margin-bottom: 0;
    page-break-before: avoid
    }
blockquote {
    margin-left: 5%;
    margin-right: 5%
    }
a:focus, a:active {
    background-color: #fe6
    }
.right {
    text-align: right
    }
.r1 {
    margin-right: 1em
    }
.r4_5 {
    margin-right: 4.5em
    }
.r7 {
    margin-right: 7em
    }
.center {
    text-align: center
    }
.ind60 {
    margin-left: 60%
    }
.smcap {
    font-variant: small-caps;
    font-style: normal
    }
.u {
    text-decoration: underline
    }
.r {
    text-align: right
    }
.nowrap {
    white-space: nowrap
    }
.sizeL {
    font-size: 1.4em
    }
.sizeM {
    font-size: 1.2em
    }
.sizeS {
    font-size: 1em
    }
.marginTopXXXL {
    margin-top: 5em
    }
.marginTopL {
    margin-top: 1.95em
    }
.marginBottomXXXL {
    margin-bottom: 5em
    }
.caption {
    font-weight: bold
    }
.captionXXXL {
    font-size: 2.5em;
    line-height: 1.4em
    }
.captionXXL {
    font-size: 2em;
    line-height: 1.9em
    }
.captionXL {
    font-size: 1.6em;
    line-height: 2.3em
    }
.captionL {
    font-size: 1.4em;
    line-height: 2.5em
    }
.captionS {
    font-size: 1em;
    line-height: 2.9em
    }
.handheldDisplay {
    display: none
    }
.chapter {
    page-break-before: always;
    margin-top: 2.5em
    }
div.rule {
    margin-top: 1.3em;
    margin-bottom: 1.3em
    }
.rule p {
    font-size: 120%;
    margin-left: 1em
    }
.rule p.hang_ind {
    text-indent: -1em
    }
div.example {
    margin-top: 1em;
    margin-bottom: 1em;
    page-break-inside: avoid
    }
.example p {
    margin-left: 1em
    }
p.heading {
    margin-left: 1em;
    text-indent: -1em;
    margin-bottom: 0
    }
p.book {
    margin-top: 0.75em;
    margin-bottom: 0
    }
p.imprint_and_size {
    text-align: right;
    margin-top: 0
    }
p.note {
    margin-left: 2em
    }
.cc {
    text-align: center
    }
.in-cc-left {
    display: inline-block;
    text-align: left
    }
table {
    margin: 1.5em auto;
    border: none
    }
td {
    text-align: left;
    vertical-align: top;
    padding-top: 0;
    padding-bottom: 0
    }
td.pad-small {
    padding-left: 0.5em;
    padding-right: 0.5em
    }
td.pad-big {
    padding-left: 1em;
    padding-right: 1em
    }
td.padleft {
    padding-left: 0.7em;
    padding-right: 0;
    text-align: right
    }
td.padright {
    padding-right: 0.7em;
    padding-left: 0;
    text-align: left
    }
td.center {
    text-align: center
    }
td.right {
    text-align: right;
    padding-left: 0.4em
    }
td.pageno, th.pageno {
    text-align: right;
    padding-left: 3em;
    font-weight: normal;
    vertical-align: bottom
    }
td.ruleno {
    text-align: right;
    padding-left: 2em;
    vertical-align: top
    }
td.level1 {
    text-align: left;
    padding-top: 1em;
    vertical-align: top
    }
td.level2, td.level5 {
    text-align: left;
    padding-left: 2em;
    vertical-align: top
    }
td.level2-r {
    text-align: left;
    padding-left: 2em;
    padding-top: 0.7em;
    vertical-align: top
    }
td.level4 {
    text-align: left;
    padding-left: 1em;
    vertical-align: top
    }
td.index_heading {
    font-weight: bold;
    text-align: left;
    padding-top: 1em;
    padding-left: 0
    }
td.index_item {
    padding-left: 1em;
    text-indent: -1em
    }
td.index_ref {
    text-align: right;
    vertical-align: bottom;
    font-style: italic
    }
a[title].pagenum:after {
    content: attr(title);
    color: #585858;
    background-color: inherit;
    font-variant: normal;
    font-weight: normal;
    font-family: monospace;
    text-align: right;
    text-decoration: none
    }
.figcenter {
    text-align: center
    }
.footnotes ol {
    margin-left: 0;
    margin-right: 0;
    padding: 0;
    width: 100%;
    list-style-type: none;
    text-align: justify;
    page-break-before: avoid;
    page-break-inside: avoid
    }
.footnote {
    margin-left: 2em;
    margin-top: 0.5em;
    font-size: 0.9em
    }
.fnlabel {
    text-decoration: none
    }
.fnanchor {
    vertical-align: super;
    font-size: 0.8em;
    text-decoration: none
    }
.correction {
    text-decoration: none
    }
.deletion {
    display: none
    }
.tnote {
    max-width: 90%;
    text-align: justify;
    color: black;
    background-color: #F2F2F2;
    border-style: dotted;
    border-width: 1px;
    border-color: #808080;
    padding: 0.5em;
    page-break-before: always;
    page-break-after: always
    }
.tnote li {
    margin-bottom: 0.75em;
    text-align: left
    }
.tnote del {
    display: inline;
    text-decoration: line-through
    }
.tnote ins {
    text-decoration: underline
    }
@media all {
    p {
        margin-top: 0;
        margin-bottom: 0;
        text-indent: 2em
        }
    .example p {
        text-indent: 0;
        margin-left: 1em;
        margin-top: 0.75em;
        margin-bottom: 0.75em
        }
    .pbbefore {
        page-break-before: always
        }
    .tnote li {
        page-break-inside: avoid
        }
    }
@media all {
    body {
        margin-left: 1.5%;
        margin-right: 1.5%;
        margin-top: 1%;
        margin-bottom: 1%
        }
    .handheldNotDisplay {
        display: none
        }
    .handheldDisplay {
        display: block
        }
    }
@media print {
    body {
        margin-left: 11%;
        margin-right: 11%
        }
    a:link, a:visited {
        color: black;
        text-decoration: none
        }
    a[title].pagenum {
        left: 0%;
        text-indent: 2em
        }
    a[title].pagenum:after {
        font-size: small
        }
    .tnote {
        max-width: 100%;
        margin: 0;
        background-color: white;
        border: none;
        padding: 0
        }
    }