<style type="text/css">

body { 
  background-color: #143c14; 
  color: white;
}
a:link {
  color: #008000;
  text-decoration: underline;
  background-color: white;
}
a:visited { 
  color: #008000; 
  text-decoration: underline; 
  background-color: white; 
}
a:hover {
  color: #ffff00; 
  text-decoration: none; 
  background-color: #287828; 
}

a.silent:link {
  color: black;
  text-decoration: none;
  background-color: white;
}
a.silent:visited { 
  color: black;
  text-decoration: none;
  background-color: white;
}
a.silent:hover {
  color: black;
  text-decoration: none;
  background-color: white;
}

table.main { 
  color: black;
  background-color: white; 
}
.headline {
  text-decoration: underline; 
  font-style:italic;
}
.compname {
  color: blue;
  font-weight:bold; 
  background-color: white; 
}
.info {
  color: blue;
  background-color: white; 
}
.hlight {
  color: #143c14;
  font-weight:bold; 
  background-color: white; 
}
.warn {
  color: red;
  font-weight:bold; 
  background-color: white; 
}
td {
  color: black;
  background-color: white; 
}
td.border {
  color: white;
  background-color: #143c14; 
}
pre {
  font-size:8pt;
}
.wonb {
  color: white;
  background-color: black; 
  font-size:8pt;
}
</style>
