body
{
   background-color: navy;
   color: black;
   font-family: Helvetica, Arial, sans-serif;
   font-size: 1em;
   margin: 0em;
   padding: 0em;
   line-height: 1.25em;
}

#container
{
   background-image: none;
   background-color: white;
   padding: 1em;
}

.red { color: red; }
.blue { color: blue; }
.i { font-style: italic; }
.b { font-weight: bold; }
.hl { background-color: yellow; }
.center { text-align: center; }
.mono { font-family: "Courier New", Courier, monospace; }
.properlist { margin: 0em 0em 0em 5em; }
.properlist li { padding: 0em 0em .7em 0em; }