body
{
font-family: Verdana, Arial, sans-serif;
font-size: 70%;
margin: 0;
padding: 0;
}
h1#header
{
background-color: #ccc;
color: black;
padding: 3px 3px 7px;
margin: 0;
}
ul#menu
{
padding: 2px 5px;
margin: 0;
border-bottom: 1px solid #ccc;
}
ul#menu li
{
display: inline;
margin-right: 3px;
font-weight: bold;
}
ul#menu a
{
text-decoration: none;
font-weight: normal;
}
div#contents
{
margin: 10px;
}
div#contents h1
{
font-size: 110%;
font-style: italic;
}
th {
  font-size: 70%;
}