BODY {
  font-size: 10 px;
  color: white;
  background: gray;
  margin-left: 0;
  margin-right: 0;
  margin-top: 0;
  margin-bottom: 10px;
  font-family: "Arial", "Helvetica", "Verdana", "Geneva",
       "SunSans-Regular", sans-serif;
}

TD, TH {
  color: black;
  background: white;
  vertical-align: top;
  font-family: "Arial", "Helvetica", "Verdana", "Geneva",
       "SunSans-Regular", sans-serif;
}

TD A:link { color: #009 }
TD A:visited, A:active { color: #006 }
TD A:hover { color: #00F }
TD A:link IMG, A:visited IMG, A:active IMG { border-style: none }

A:link { color: silver; }
A:visited { color: silver; }
A:active { color: silver; }
A:hover { color: white; }

TD.noticer A:link { color: white; }
TD.noticer A:visited { color: white; }
TD.noticer A:active { color: white; }
TD.noticer A:hover { color: white; }

TD.noticel A:link { color: white; }
TD.noticel A:visited { color: white; }
TD.noticel A:active { color: white; }
TD.noticel A:hover { color: white; }

.noticel {
  color: white;
  background: gray;
  font-size: 75%;
  text-align: left;
}

.noticer {
  color: white;
  background: gray;
  font-size: 75%;
  text-align: right;
}

P.comment {
  font-size: 75%;
  text-align: center;
  color: #999999;
}

code {
  font-family: monospace;
}
pre {
  font-family: monospace;
}
strike {
  text-decoration: line-through;
}
/* Suggestion of Dave Raggett to fix a browser style bug. */
h1,h2,h3,h4,h5,h6,p,form,ul,ol,dl {
  font-family: "Arial", "Helvetica", "Verdana", "Geneva",
       "SunSans-Regular", sans-serif;
}

/* the navigation bar */

TD.navbar {
  font-size: 80%;
  color: white;
  background: black;
  vertical-align: top;
  font-style: italic;
}

TD.navbarmain {
  color: white;
  background: black;
  vertical-align: top;
  width: 16em;
}


/* the navbar has gray links that are bold. */

TD.navbar A {
  font-weight: bold;
  font-style: normal;
  text-decoration: none
}

TD.navbar A:link { color: silver; }
TD.navbar A:visited { color: silver; }
TD.navbar A:active { color: silver; }
TD.navbar A:hover { color: white; }

TD.navbar2 {
  font-size: 80%;
  background: black;
  vertical-align: top;
}

TD.navbar2 A {
  font-weight: bold;
  font-style: normal;
  text-decoration: none
}

TD.navbar2 A:link { color: white; }
TD.navbar2 A:hover { color: white; }
TD.navbar2 A:visited { color: white; }
TD.navbar2 A:active { color: white; }

SPAN.title {
  font-size: 300%;
  font-weight: bold;
  text-align: right;
}

.hotspot {
  font-size: 120%;
  font-weight: bold;
}

.searchinput {
  font-size:80%;
}