body {
   background: #6699FF;
   font-family: verdana;
   font-size: 10pt;
   font-style: normal;
   font-variant: normal;
   margin: 10px;
   text-align: center;
}

table {
   font-size: 8pt;
}

div.heading {
   font-weight: bold;
   color: #FF4040;
   margin-bottom: 3px;
}

a {
   text-decoration: none;
}

a.menu { color: blue; }
a.menu:hover { color: red; }

a.faint { color: gray; }
a.faint:hover {	color: red; }

a.nav {
   padding: 1px 2px 1px 2px;
   color: blue;
}

a.nav:hover {
   background: blue;
   color: white;
}