body {
    margin-left: 10%;
    margin-right: 10%
    }
p {
    text-align: justify;
    text-indent: -2em;
    margin-left: 2em;
    margin-top: 0.75em;
    margin-bottom: 0.75em
    }
h1, h2, h3, h4, h5, h6 {
    text-align: center
    }
h1 {
    font-size: 2.5em
    }
h2 {
    font-size: 2em
    }
h3 {
    font-size: 1.5em
    }
h4 {
    font-size: 1.2em
    }
h5 {
    font-size: 1.1em
    }
h6 {
    font-size: 1em
    }
hr {
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: auto;
    margin-right: auto;
    width: 65%
    }
abbr {
    text-decoration: none !important;
    border-bottom: none !important
    }
a:focus, a:active {
    background-color: #fe6
    }
table {
    margin-left: auto;
    margin-right: auto;
    text-align: left
    }
table td, table th {
    vertical-align: top
    }
thead th {
    font-size: larger
    }
#verbs tbody tr td {
    background-color: #eee;
    color: #000
    }
#verbs tbody tr.odd td {
    background-color: #fff;
    color: #000
    }
#authors, #pub-info, #copyright {
    text-align: center;
    font-weight: bold;
    font-size: 1.2em;
    text-indent: 0;
    margin-top: 1em;
    margin-bottom: 1em
    }
.intro p, .examples p {
    text-indent: 2em
    }
p.exercise {
    margin-left: 1em;
    text-indent: -1em
    }
.smcap {
    font-variant: small-caps
    }
.center {
    text-align: center;
    text-indent: 0
    }
ins {
    text-decoration: none;
    border-bottom: thin dotted gray
    }
div.transnotes {
    background-color: #e6e6fa;
    color: #000;
    margin-left: 10%;
    margin-right: 10%;
    padding: 0.5em
    }
div.transnotes a:link {
    color: #0000d0
    }
div.envelope {
    margin: 2em 20%;
    border: solid 2px black;
    white-space: nowrap
    }
div.address, div.signature {
    margin-left: 50%
    }
div address, div.address2 {
    padding: 1em
    }
div.address p, div.address2 p {
    text-indent: 0
    }
div.note {
    margin: 2em 30%
    }
div.note p {
    text-indent: 0
    }
.sidenote {
    margin-top: 0;
    border: 1px dashed black;
    background-color: #eee;
    color: inherit;
    margin-left: 0.75em;
    padding: 0.2em
    }
.poem {
    margin-left: 10%;
    margin-right: 10%;
    text-align: left
    }
.poem br {
    display: none
    }
.poem .stanza {
    margin: 1em 0 1em 0
    }
.poem span {
    display: block;
    margin-left: 0;
    padding-left: 3em;
    text-indent: -3em
    }
span.i0 {
    margin-left: 0
    }
span.i1 {
    margin-left: 1em
    }
span.i2 {
    margin-left: 2em
    }
span.i3 {
    margin-left: 3em
    }
span.i4 {
    margin-left: 4em
    }
li {
    text-align: left
    }
ul {
    margin-bottom: 0.75em
    }
ol.AL {
    list-style-type: lower-alpha
    }
ol.AU {
    list-style-type: upper-alpha
    }
ol.RU {
    list-style-type: upper-roman
    }
ul#toc, #toc ul, ul.examples, ul.letter-headings, ul.off {
    list-style-type: none
    }
ul#toc > li {
    text-align: center
    }
ul.l3 {
    padding-left: 2.5em
    }
ul.l4 {
    padding-left: 1em
    }
ul.l5 {
    padding-left: 5em
    }
.l3 li > ul.l5 {
    padding-left: 2.5em
    }
.l4 li > ul.l5 {
    padding-left: 1.5em
    }
ul.inline {
    margin-bottom: 0
    }
ul.inline li {
    display: inline;
    padding-right: 0.5em
    }
.examples li, .exercise li {
    padding-left: 1em;
    text-indent: -1em
    }
.letter-headings li {
    text-indent: 0;
    margin: 2em 0;
    padding: 0
    }
.index {
    font-size: 90%
    }
.index > ul {
    margin-top: 1.25em
    }
ul.IX {
    list-style-type: none;
    font-size: inherit;
    margin-bottom: 0
    }
.IX li {
    margin-top: 0
    }
.regular dt {
    display: run-in;
    padding-right: 1em;
    font-weight: bold;
    margin-left: -2em
    }
.regular dd {
    padding-bottom: 1.25em;
    text-align: justify
    }
dl.inline {
    width: 100%
    }
.inline dt {
    margin: 0;
    padding: 0;
    text-align: center
    }
.inline dd {
    margin-left: -7.9em;
    margin-top: 1em;
    padding: 0;
    font-style: italic;
    margin-bottom: 0.5em;
    text-align: center
    }
div.inline {
    display: inline-block;
    vertical-align: middle
    }
div.inline ul {
    list-style-type: none;
    text-align: center;
    border-right: thin solid;
    border-left: thin solid;
    padding-left: 0;
    margin: 0.25em
    }
div.inline li {
    margin: 0;
    padding: 0.25em;
    text-indent: 0
    }