body {
  color: #999999;
  background: #000000;
}

a:link    { color: #cccccc; }
a:visited { color: #cccccc; }
a:active  { color: #ffffff; }

DIV.filelist {
  color: #888888;
  background: #111111;
  padding-left: 5px;
  padding-right: 5px;
  border: #888888 1px solid;
}

DIV.bibref {
  color: #888888;
  background: #111111;
  border: #888888 1px solid;
  padding-left: 10px;
  padding-right: 10px;
}

DIV.termhead {
  border: #888888 2px solid;
  background: #222222;
  padding: 5px;
}

DIV.term {
  border: #888888 1px solid;
  background: #111111;
  padding: 5px;
}