body {
    margin: 0;
    padding: 0
    }
/* navigation bar, to be placed at the top and bottom of articles.
   has a left, right, and middle component, which link to the
   previous article, the next article, and the index. we define
   some hover styles which improve the look in CSS2 compliant
   browsers, but it also looks acceptable in IE.
*/
/* structural: */
.nav {
    clear: both
    }
.left, .right, .middle {
    width: 20%
    }
.left {
    float: left
    }
.right {
    float: right
    }
.middle {
    margin: auto
    }
/* presentational: */
.nav {
    background: #e0e0e0;
    color: #707070
    }
.nav a {
    text-decoration: none;
    color: #000
    }
.nav:hover a {
    text-decoration: underline
    }
.nav a:hover {
    text-decoration: underline;
    background: #f0f0f0;
    color: #202020
    }
.nav .left, .nav .right, .nav .middle {
    text-align: center;
    font-size: 0.8em;
    border: solid 1px #e0e0e0
    }
.nav .left:hover, .nav .right:hover, .nav .middle:hover {
    background: #f0f0f0;
    border: solid 1px #f0f0f0
    }
/* styles for the main content. the content is enclosed in a 'content' div. */
.content {
    margin-left: 10%;
    margin-right: 10%;
    padding-top: 1em;
    padding-bottom: 1em
    }
p {
    text-align: justify
    }
blockquote {
    text-align: justify
    }
h1, h2, h3, h4, h5, h6 {
    text-align: center
    }
hr {
    text-align: center;
    width: 50%
    }
html > body hr {
    margin-right: 25%;
    margin-left: 25%;
    width: 50%
    }
hr.full {
    width: 100%
    }
html > body hr.full {
    margin-right: 0%;
    margin-left: 0%;
    width: 100%
    }
pre {
    font-size: 12pt;
    background-color: #F0F0F0
    }
img {
    border: none
    }
.footnote {
    margin-left: 10%;
    margin-right: 10%;
    font-size: 0.9em
    }
.figure {
    margin-left: 5%;
    margin-right: 5%;
    text-align: center;
    font-size: 0.7em
    }
.poetry {
    margin: auto
    }
.sidenote {
    float: left;
    clear: left;
    margin-left: -2%;
    width: 30%;
    font-weight: bold;
    text-align: left;
    margin-top: 1em;
    margin-right: 1em;
    margin-bottom: 1em
    }