body {
background-color: white;
color: black;
font-family: Times, serif;
}

h1, h2, h3, h4, h5, h6 {
font-family: Helvetica, sans-serif;
}

h1 {
text-align: center;
}

dt {
font-family: Helvetica, sans-serif;
font-size: larger;
font-weight: bold;
margin-top: 1em;
margin-bottom: 1em;
}

div.contents {
text-align: center;
}

div.main {
margin-left: 1em;
padding-left: 0.5em;
}

div.links {
border-top: medium;
border-bottom: medium;
border-color: black;
margin: 2em;
text-align: center;
}

div.copyright {
font-size: smaller;
font-style: italic;
}

div.index {
width: 32em;
padding: 1em;
background-color: black;
color: white;
position: fixed;
top: 0;
left: 0;
right: auto;
bottom: auto;
}