body
  {
   color: #191970;
   background-color: #ffffff;
  }
a:link
  {
   color: #4169e1;
  }
a:visited
  {
   color: #5500aa;
  }
/*
a:hover
  {
   color: white;
   background-color: blue;
  }
*/
div.footer
  {
   background-color: #cfdfff; 
   border-color: #000088;
  }
div.banner
  {
   background-color: #cfdfff; 
   border-color: #000088;
  }
div.header
  {
   background-color: #cfdfff; 
   border-color: #000088;
  }
#dark
  {
   color: #191970;
  }
#light
  {
   color: #4169e1; /* 6666ff; */
  }
span.attrib
  {
   color: #66aaff;
  }
span.note
  {
   color: #66aaff;
  }
strong.warning
  {
   color: #ff0000;
  }