body { font-weight: normal; font-size: medium; font-family: sans-serif; color: #EFEFFF; background-color: #000000 }
a:link,a:visited { text-decoration: underline; color : #808080 }
a:active { text-decoration: underline; color : #006400 }
a:hover { text-decoration: none; color : #8B0000 }
div { margin: 1px 0px 1px 0px; padding: 4px 4px 4px 4px }
div.d0 { background-color: #0F0F0F }
div.d1 { background-color: #000000 }
a.halt { text-decoration: none; color: #8B0000 }
a.halt:hover { text-decoration: underline; color : #006400 }