body, table.twocol tr td {
    margin-left: 2em;
    margin-right: 2em
    }
div.txtxx {
    color: red;
    display: block
    }
.box {
    border-style: double;
    margin-bottom: 2em;
    max-width: 25em;
    margin-right: auto;
    margin-left: auto;
    margin-top: 2em
    }
.box p {
    margin-right: 1em;
    margin-left: 1em
    }
.box dl {
    margin-right: 1em;
    margin-left: 1em
    }
h1, h2, h3, h4, .titlepg p {
    text-align: center;
    clear: both
    }
h1 {
    margin-top: 3em;
    font-size: 150%
    }
h2 {
    margin-top: 4em;
    margin-bottom: 2.5em;
    font-size: 130%
    }
h3 {
    margin-top: 2em;
    margin-bottom: 0.5em;
    font-size: 110%
    }
h3.tree {
    font-weight: normal
    }
h4 {
    margin-top: 2em;
    font-size: 90%
    }
h5 {
    margin-top: 1em;
    margin-bottom: 0.5em;
    font-size: 100%;
    text-align: left
    }
h6 {
    font-size: 100%;
    text-align: left;
    display: inline;
    font-weight: normal;
    margin-top: 0;
    margin-bottom: 1em
    }
div.box h1 {
    margin-top: 1em
    }
.titlepg {
    margin-left: auto;
    margin-right: auto;
    border-style: double;
    clear: both
    }
.tblttl {
    text-align: center
    }
.tblsttl {
    text-align: center;
    font-variant: small-caps
    }
.b {
    font-weight: bold
    }
.ss {
    font-family: sans-serif;
    font-weight: bold
    }
.caption {
    text-align: center;
    margin-top: 0;
    font-size: 90%;
    font-weight: bold
    }
a.gloss {
    border-bottom-style: dotted;
    text-decoration: none;
    border-color: #c0c0c0;
    color: inherit
    }
p, blockquote, div.p, div.bq {
    text-align: justify
    }
div.p, div.bq {
    margin-top: 1em;
    margin-bottom: 1em
    }
blockquote, .bq {
    margin-left: 1em;
    margin-right: 1em;
    margin-left: 2em
    }
.verse {
    font-size: 100%
    }
p.indent {
    text-indent: 2em;
    text-align: left
    }
p.tb, p.tbcenter, verse.tb, blockquote.tb {
    margin-top: 2em
    }
p.revind {
    margin-left: 2em;
    text-indent: -2em
    }
span.pb, div.pb, dt.pb, p.pb, td.pb {
    text-align: right;
    margin-right: 0;
    clear: right
    }
div.pb {
    display: inline
    }
.pb, dt.pb, dl dt.pb, dl.toc dt.pb, dl.tocl dt.pb, dl.undent dt.pb, dl.index dt.pb, dl.indexlr dt.pb, tr td.pb {
    text-align: right;
    margin-left: 1.5em;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    display: inline;
    text-indent: 0;
    font-size: 80%;
    font-style: normal;
    font-weight: bold;
    color: gray;
    border: 1px solid gray
    }
div.index .pb, div.indexlr .pb {
    display: block
    }
.bq div.pb, .bq span.pb {
    font-size: 90%;
    margin-right: 2em
    }
div.img, body a img {
    text-align: center;
    margin-left: auto;
    margin-right: auto;
    margin-top: 1em;
    margin-bottom: 1em;
    clear: right
    }
sup {
    font-size: 55%;
    vertical-align: 120%;
    line-height: 50%;
    font-weight: normal
    }
sub {
    font-size: 55%;
    vertical-align: 0%;
    line-height: 50%;
    font-weight: normal
    }
a.fn {
    font-size: 75%;
    vertical-align: 100%;
    line-height: 50%;
    font-weight: normal
    }
h2 a.fn {
    font-size: 50%;
    line-height: 75%
    }
h3 a.fn {
    font-size: 65%
    }
.center, .tbcenter {
    text-align: center;
    clear: both
    }
span.center {
    display: block
    }
p {
    clear: left
    }
.small, .lsmall {
    font-size: 85%
    }
.smaller {
    font-size: 75%
    }
.smallest {
    font-size: 60%
    }
.larger {
    font-size: 150%
    }
.large {
    font-size: 125%
    }
.xlarge {
    font-size: 166%;
    line-height: 60%
    }
.xxlarge {
    font-size: 200%;
    line-height: 60%
    }
.gs {
    letter-spacing: 0.2em
    }
.gs3 {
    letter-spacing: 0.2em
    }
.gslarge {
    letter-spacing: 0.2em;
    font-size: 110%
    }
.sc {
    font-variant: small-caps
    }
.over, over {
    text-decoration: overline;
    display: inline
    }
hr {
    width: 20%
    }
.jl, span.jl, dt span.jl {
    text-align: left
    }
.jr {
    text-align: right;
    min-width: 2em
    }
.jr1 {
    text-align: right;
    margin-right: 2em
    }
.ind1 {
    text-align: left;
    margin-left: 2em
    }
.u {
    text-decoration: underline
    }
.hst {
    margin-left: 0.5em
    }
.rubric {
    color: red
    }
ul li {
    text-align: justify;
    margin-left: 0
    }
dd.t {
    text-align: left;
    margin-left: 5.5em
    }
dl.toc {
    clear: both;
    margin-top: 1em
    }
.toc dt.center {
    text-align: center;
    clear: both;
    margin-top: 2em;
    margin-bottom: 1em
    }
.toc dt {
    text-align: right;
    clear: left
    }
.toc dd {
    text-align: right;
    clear: both;
    margin-left: 1em
    }
.toc dd.ddt {
    text-align: right;
    clear: both;
    margin-left: 2em
    }
.toc dd.ddt2 {
    text-align: right;
    clear: both;
    margin-left: 3em
    }
.toc dd.ddt3 {
    text-align: right;
    clear: both;
    margin-left: 4em
    }
.toc dd.ddt4 {
    text-align: right;
    clear: both;
    margin-left: 5em
    }
.toc dd.ddt5 {
    text-align: right;
    clear: both;
    margin-left: 6em
    }
.toc dd.note {
    text-align: justify;
    clear: both;
    margin-left: 5em;
    text-indent: -1em;
    margin-right: 3em
    }
.toc dt a, .toc dd a, .toc dt span.left, .toc dt span.lsmall, .toc dd span.left {
    text-align: left;
    clear: right
    }
.toc dd a i, .toc dt a i {
    font-variant: normal
    }
.toc dt a span.cn, dt span.cn {
    text-align: right;
    margin-right: 0.5em
    }
dt span.cn, dd span.cn {
    margin-left: 1em;
    display: inline-block;
    width: 3em;
    font-weight: bold
    }
.toc dt.sc {
    text-align: right;
    clear: both
    }
.toc dt.scl {
    text-align: left;
    clear: both;
    font-variant: small-caps
    }
.toc dt.sct {
    text-align: right;
    clear: both;
    font-variant: small-caps;
    margin-left: 1em
    }
.toc dt.jl {
    text-align: left;
    clear: both;
    font-variant: normal
    }
.toc dt.scc {
    text-align: center;
    clear: both;
    font-variant: small-caps
    }
.toc dt span.lj {
    text-align: left;
    display: block
    }
.toc dd.center {
    text-align: center
    }
dd.tocsummary {
    text-align: justify;
    margin-right: 2em;
    margin-left: 2em
    }
dd.center sc {
    display: block;
    text-align: center
    }
.keytab {
    max-width: 20em;
    margin-left: auto;
    margin-right: auto
    }
.keytab dt {
    text-align: right;
    clear: both;
    margin-left: 0;
    text-indent: 0
    }
.keytab dt.center {
    text-align: center;
    clear: both
    }
.keytab dd {
    text-align: left;
    clear: both;
    margin-left: 1em;
    text-indent: 0
    }
.keytab dd.ddt {
    text-align: right;
    clear: both;
    margin-left: 2em
    }
.keytab dd.ddt2 {
    text-align: right;
    clear: both;
    margin-left: 3em
    }
.keytab dt span.left, .keytab dd span.left {
    text-align: left
    }
dl.index {
    clear: both
    }
.index dd {
    margin-left: 4em;
    text-indent: -2em;
    text-align: left
    }
.index dt {
    margin-left: 2em;
    text-indent: -2em;
    text-align: left
    }
.index dt.center {
    text-align: center
    }
dl.indexlr {
    clear: both
    }
.indexlr dd {
    margin-left: 4em;
    text-indent: -2em;
    text-align: right
    }
.indexlr dt {
    margin-left: 2em;
    text-indent: -2em;
    text-align: right
    }
.indexlr dt.center {
    text-align: center
    }
.center .ab, .abl {
    font-weight: bold;
    text-decoration: none;
    border-style: solid;
    border-color: gray;
    border-width: 1px;
    margin-right: 0;
    display: inline-block;
    text-align: center
    }
.ab {
    min-width: 1em
    }
div.notes p {
    margin-left: 1em;
    text-indent: -1em;
    text-align: justify
    }
dl.undent {
    margin-top: 1em
    }
dl.undent dt {
    margin-left: 1em;
    text-indent: -1em;
    text-align: justify
    }
dl.undent dt.tu {
    margin-left: 1em;
    text-indent: 0;
    text-align: justify
    }
dl.undent dd {
    margin-left: 2em;
    text-indent: -1em;
    text-align: justify
    }
dl.undent dd.t {
    margin-left: 3em;
    text-indent: -1em;
    text-align: justify
    }
dl.undent dd.tu {
    margin-left: 2em;
    text-indent: 0;
    text-align: justify
    }
div.verse {
    margin-top: 1em;
    margin-bottom: 1em
    }
p.t0, p.l {
    margin-left: 4em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t1, p.t {
    margin-left: 5em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t2 {
    margin-left: 6em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t3 {
    margin-left: 7em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t4 {
    margin-left: 8em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t5 {
    margin-left: 9em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t6 {
    margin-left: 10em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t7 {
    margin-left: 11em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t8 {
    margin-left: 12em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t9 {
    margin-left: 13em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t10 {
    margin-left: 14em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t11 {
    margin-left: 15em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t12 {
    margin-left: 16em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.t13 {
    margin-left: 17em;
    text-indent: -3em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.lb {
    margin-left: 4em;
    text-indent: -3em;
    margin-top: 2em;
    margin-bottom: 0;
    text-align: left
    }
p.tw, div.tw, .tw {
    margin-left: 1em;
    text-indent: -1em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: left
    }
p.lr, div.lr, span.lr {
    display: block;
    margin-left: 0;
    margin-right: 1em;
    margin-top: 0;
    margin-bottom: 0;
    text-align: right
    }
dt.lr {
    width: 100%;
    margin-left: 0;
    margin-right: 0;
    margin-top: 0;
    margin-bottom: 0;
    margin-top: 1em;
    text-align: right
    }
dl dt.lr a {
    text-align: left;
    clear: left
    }
.fnblock {
    margin-top: 2em
    }
.fndef {
    text-align: justify;
    margin-top: 1.5em;
    margin-left: 1.5em;
    text-indent: -1.5em
    }
.fndef p.fncont, .fndef dl {
    margin-left: 0;
    text-indent: 0
    }
dl.biblio dt {
    margin-top: 0.6em;
    margin-left: 2em;
    text-indent: -2em;
    text-align: justify;
    clear: both
    }
dl.biblio dt div {
    display: block;
    margin-left: -6em;
    clear: both
    }
dl.biblio dt.center {
    margin-left: 0;
    text-align: center
    }
dl.biblio dd {
    margin-top: 0.3em;
    margin-left: 3em;
    text-align: justify;
    font-size: 90%
    }
.clear {
    clear: both
    }
p.book {
    margin-left: 2em;
    text-indent: -2em
    }
p.review {
    margin-left: 2em;
    text-indent: -2em;
    font-size: 80%
    }
p.cit {
    margin-left: 2em;
    text-indent: -2em
    }
.key dt {
    margin-left: 2em;
    text-indent: -2em;
    text-align: justify
    }
.key dt.center {
    text-align: center
    }
.key dt.t {
    margin-left: 3em
    }
.key dt.t2 {
    margin-left: 4em
    }
.key dt.t3 {
    margin-left: 5em
    }
.key dt.t4 {
    margin-left: 6em
    }
.key dt.t5 {
    margin-left: 7em
    }
.key dt.t6 {
    margin-left: 8em
    }
.key dt.t7 {
    margin-left: 9em
    }
.key dt.t8 {
    margin-left: 10em
    }
.key dt.t9 {
    margin-left: 11em
    }
.key dt.t10 {
    margin-left: 12em
    }
.key dt.t11 {
    margin-left: 13em
    }
.key dd {
    text-align: right
    }
table.center {
    clear: both;
    margin-right: auto;
    margin-left: auto
    }
table.center tr td.l {
    text-align: left;
    margin-left: 0
    }
table.center tr td.t {
    text-align: left;
    text-indent: 1em
    }
table.center tr td.t2 {
    text-align: left;
    text-indent: 2em
    }
table.center tr td.r {
    text-align: right
    }
table.center tr th {
    vertical-align: top
    }
table.center tr th.l {
    text-align: left
    }
table.center tr th.r {
    text-align: right
    }
table.center tr td {
    vertical-align: top
    }
table.inline, table.symbol {
    display: inline-table;
    vertical-align: middle
    }