table {  font-family: Arial, Helvetica, sans-serif; font-size: 9px; font-weight: bold; clip:   rect(   ); padding-left: 3px; border-color: black #000000; background-color: #00CCCC; border-style: solid; border-top-width: 0px; border-right-width: thin; border-bottom-width: thin; border-left-width: thin}
.hoofding {  font-family: "Courier New", Courier, mono; font-size: 14px; color: #FF0000; text-decoration: none; background-color: #000000; font-variant: small-caps; font-weight: bold}
.hoofding a:hover {  color: #000000; text-decoration: underline; background-color: #FF0000}
.hoofding a {  color: #FF0000; text-decoration: none; background-color: #000000; margin-left: 0px}
.menu {  font-family: Arial, Helvetica, sans-serif; color: #000000; margin-left: 10px; font-size: 10px}
.menu a {  color: #000000; text-decoration: none}
.menu a:hover {  color: #00FFFF; background-color: #003333; text-decoration: underline}
.hoofding a:active { color: #00FFFF; background-color: #003333; text-decoration: underline }