body              { color: #fc9; font-style: normal; font-weight: normal; font-size: 11px; font-family: Verdana, Arial, Courier, SansSerif; text-decoration: none; background-color: #000; scrollbar-3d-light-color: #c0c0c0; scrollbar-arrow-color: #000; scrollbar-base-color: #c0c0c0; scrollbar-dark-shadow-color: #d0d0a0; scrollbar-face-color: #c0c0c0; scrollbar-highlight-color: #c0c0c0; scrollbar-shadow-color: #000; scrollbar-track-color: #000 }
.nav  { font-size: 10px }
a:link  { color: #c0c0c0; font-weight: bold; text-decoration: none }
a:active   { color: #c0c0c0; text-decoration: none }
a:visited  { color: #c0c0c0; font-weight: bold; text-decoration: none }
.tables  { font-size: 11px }
.heading { font-weight: bold }