body, td, th, li, p, dt, dd, ul, ol, table, tr, dl, div {
   font-family: helvetica, arial, sans-serif;
}
h1, h2, h3, h4, h5, h6 {
   font-family: helvetica, arial, sans-serif;
   color: #800000;
}
pre {
   font-family: "courier new", courier, fixed;
   font-weight: bold;
   color: #404040;
}
tt {
   font-family: "courier new", courier, fixed;
   font-weight: bold;
}
a:link {color: #0000cc}
a:active {color: #ff0000}
a:visited {color: #e00000}
a:hover {color: #0000e0}
.navigation big {
   color: #600000;
   font-weight: 100;
}
.navigation a {
   font-size: small;
   font-weight: bold;
   text-decoration: none;
}
.navigation a:link {color: #ffffff}
.navigation a:active {color: #ff0000}
.navigation a:visited {color: #ffffff}
.navigation a:hover {color: #e0e0e0}