body
  {
   color: #ffffff;
   background-color: #000000;
  }
a:link
  {
   color: #4466dd;
  }
a:visited
  {
   color: #002299;
  }
a:hover
  {
   color: red;
   background-color: yellow;
  }
div.footer
  {
   background-color: #333333; 
   border-color: #bbbbbb;
  }
div.banner
  {
   background-color: #333333; 
   border-color: #bbbbbb;
  }
div.header
  {
   background-color: #333333; 
   border-color: #bbbbbb;
  }
#dark
  {
   color: #5555bb;
  }
#light
  {
   color: #4466dd; /* 6666ff; */
  }
span.attrib
  {
   color: #66aaff;
  }
span.note
  {
   color: #66aaff;
  }
strong.warning
  {
   color: #ff0000;
  }