body {
  color: #ddddff ;
  background: #000000 url(/images/stars.png) repeat ;
  background-attachment: scroll ;
  margin-top: 0 ;
  margin-bottom: 1em ;
  margin-left: 1em ;
  margin-right: 1em ;
  line-height: 1.5 ;
  font-size: small ;
  font-family: Verdana, Arial, sans-serif }
pre {
  font-size: small }
table {
  border: none }
img {
  border: none }
font.t {
  color: #5588dd ;
  font-weight: bold ;
  font-size: small }
font.n {
  color: #5588dd }
b {
  color: #5588dd ;
  font-weight: bold }
a {
  color: #5588dd ;
  text-decoration: underline }
a.b {
  color: #5588dd ;
  font-weight: bold }
a:visited {
  color: #5588dd }
a:link {
  color: #5588dd }
a:visited {
  color: #5588dd }
a:active {
  color: #5588dd }
a.m {
  color: #5588dd ;
  font-weight: bold ;
  font-size: small ;
  text-decoration: none }
a.p {
  color: #66aaff ;
  font-weight: bold ;
  font-size: small ;
  text-decoration: underline }
a:hover {
  color: #66aaff }