body { font-weight: normal; font-size: medium; font-family: sans-serif; color: #FFFFFF; background-color: crimson }
a:link,a:visited { text-decoration: underline; color : white }
a:active { text-decoration: underline; color : yellow }
a:hover { text-decoration: none; color : #FF0000 }
div { margin: 1px 0px 1px 0px; padding: 4px 4px 4px 4px }
div.d0 { background-color: crimson }
div.d1 { background-color: crimson }
a.halt { text-decoration: none; color: #FF0000 }
a.halt:hover { text-decoration: underline; color : red }