body {
    margin-left: 9%;
    margin-right: 9%
    }
div.transcriber {
    font-size: 90%;
    margin: 1em;
    border: thin solid red;
    padding: 0.5em
    }
div.transcriber p {
    margin: 0 0 0 3em;
    text-indent: -3em
    }
.pg {
    font-size: x-small;
    text-indent: 0;
    font-style: normal;
    font-weight: normal;
    text-align: right;
    text-transform: none;
    letter-spacing: 0;
    visibility: visible
    }
.pg:before {
    content: attr(title)
    }
div.maintitle p {
    text-indent: 0;
    text-align: center
    }
div.maintitle p span {
    white-space: pre
    }
.small {
    font-size: 90%
    }
.big {
    font-size: 120%
    }
.bigger {
    font-size: 150%
    }
.biggest {
    font-size: 200%;
    font-variant: small-caps
    }
.low {
    line-height: 100%
    }
.high {
    line-height: 200%
    }
.higher {
    line-height: 250%
    }
.highest {
    line-height: 300%
    }
hr.page {
    width: 100%;
    margin: 7em auto
    }
hr.deco {
    width: 4em;
    margin-top: 2em;
    margin-bottom: 2em
    }
hr.deco2 {
    width: 12em;
    margin-top: 3em;
    margin-bottom: 2em
    }
.toc {
    max-width: 30em;
    margin: auto
    }
.toc h1 {
    font-size: 120%
    }
.toc h2 {
    text-align: center;
    font-size: 110%;
    margin: 0.5em 0 0 0
    }
td {
    font-size: 90%
    }
td:first-child {
    width: 7ex
    }
h1, h3.var2 {
    text-align: center;
    font-size: 140%;
    margin-top: 1.5em;
    margin-bottom: 1em;
    font-weight: bold;
    word-spacing: 0.25em
    }
h1.preface {
    font-size: 200%;
    font-weight: normal
    }
h2, h3.var1 {
    text-align: left;
    font-size: 120%;
    font-weight: bold;
    margin-top: 0.25em;
    margin-bottom: 0.25em;
    margin-left: 4em;
    word-spacing: 0.25em
    }
h4, h3.var3 {
    text-align: center;
    font-size: 140%;
    font-weight: normal;
    margin-top: 1em;
    margin-bottom: 0.5em;
    word-spacing: 0.25em
    }
h5 {
    text-align: center;
    font-size: 110%;
    font-weight: bold;
    margin-top: 1.5em;
    margin-bottom: 0.25em;
    word-spacing: 0.25em
    }
h6 {
    text-align: center;
    font-size: 100%;
    font-weight: bold;
    margin-top: 1.5em;
    margin-bottom: 0.25em
    }
em {
    font-weight: normal;
    font-style: normal;
    letter-spacing: 0.25ex
    }
i {
    font-weight: normal
    }
p {
    text-indent: 2em;
    line-height: 1.2em;
    margin: 0;
    text-align: justify
    }
p.hx, div.src.short p {
    text-indent: 0;
    margin-left: 0;
    margin-top: 0.25em;
    margin-bottom: 0.25em;
    text-align: center;
    font-size: 84%;
    word-spacing: 0.5em
    }
div.src {
    margin-top: 0.25em;
    margin-bottom: 0.25em
    }
.src p {
    margin-left: 3em;
    text-indent: -2em;
    font-size: 84%
    }
.footnotes p {
    margin-top: 0.5em;
    font-size: 85%
    }
a {
    text-decoration: none
    }
sup {
    font-size: 70%;
    line-height: 0%
    }
sup:after {
    content: ")"
    }
p.date {
    margin-top: 0.75em
    }
p.sign {
    font-size: 130%;
    text-align: right;
    margin-top: 2em;
    margin-right: 2em;
    font-weight: bold
    }
p.initial {
    text-indent: 0;
    margin-top: 4em
    }
p.initial:first-letter {
    font-size: 200%;
    line-height: 90%
    }
div.figure {
    text-align: center;
    margin: 3em auto;
    width: 100%
    }
div.figure img {
    border: 0
    }
@media print, projection {
    hr.page {
        visibility: hidden;
        page-break-before: always
        }
    h1, h2, h3, h4, h5, h6, .hx, div.src.short, div.src.short p {
        page-break-inside: avoid;
        page-break-after: avoid
        }
    .hx, div.src.short, div.src.short p {
        page-break-before: avoid
        }
    div.figure {
        page-break-after: always;
        page-break-before: always
        }
    }
@page {
    margin-top: 5%;
    margin-bottom: 5%
    }
del {
    color: #C00;
    background-color: inherit
    }
ins {
    text-decoration: none;
    color: #006;
    background-color: inherit
    }