body {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal; color: #FFFFFF; background-color: #000000}
body {  }
body {  }
.header {  font-family: Arial, Helvetica, sans-serif; font-size: 16px; font-style: oblique; color: #660000; font-weight: bolder}
a:link {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; color: #CCFF66; text-decoration: none}
a:visited {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; color: #660000; text-decoration: none}
a:hover {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; color: #99CC33; text-decoration: underline}
pre {  font-size: 12px}
tt {  font-size: 12px}
.highlight {  font-size: 12px; color: #999999}