body {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: medium;
    color: black;
    background-color: lightcyan;
}


div#content{
  background-color:lightcyan;
  padding: 1em;
  width: auto; 
  font-family: Verdana, Arial, Helvetica, sans-serif; 
}

div#footer{
  padding:0.5em;
  color:white;
  background-color:gray;
  clear:left;
}

div#address{
  background-color:lightcyan;
  position: absolute;
  padding: 1em;
  font-size: 75%;
  font-family: Courier;
  font-wheight: Italics;
  margin-bottom: 2%; 
}  

div#menu{
  background-color:khaki;
  position: absolute;
  padding: 1em;
  border:1px solid black; 
  width: 17%;
  font-size: 125%;
  margin-bottom: 2%; 
}

/*
     FILE ARCHIVED ON 13:46:41 Jan 15, 2024 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 16:37:48 Dec 29, 2024.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.57
  exclusion.robots: 0.019
  exclusion.robots.policy: 0.009
  esindex: 0.011
  cdx.remote: 14.92
  LoadShardBlock: 201.49 (3)
  PetaboxLoader3.datanode: 283.995 (4)
  PetaboxLoader3.resolve: 184.062 (2)
  load_resource: 279.347
*/