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.links {
border-top: medium;
border-bottom: medium;
border-color: black;
margin: 2em;
text-align: center;
}

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