.yellow  {  color: #CEFFOO  }
.sidenav {  font-family: Arial; font-size: 10pt }
.red {  color: #CE3100  }
.orange {  color: #FFAD00  }
.holiday {  color: #90080F  }
.green {  color: #006000  }
.size8 {  font-family: Arial; font-size: 8pt }
.size10 {  font-family: Arial; font-size: 10pt }
.bold10 {  font-family: Arial; font-size: 10pt; font-style: bold }
.size14 {  font-family: Arial; font-size: 14pt }
.bold14 {  font-family: Arial; font-size: 14.5pt; font-style: bold }
.size19 {  font-family: Arial; font-size: 19pt }

/*
     FILE ARCHIVED ON 13:51:48 Feb 03, 1999 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 20:30:57 May 04, 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.598
  exclusion.robots: 0.09
  exclusion.robots.policy: 0.082
  cdx.remote: 0.06
  esindex: 0.008
  LoadShardBlock: 350.01 (3)
  PetaboxLoader3.datanode: 95.817 (4)
  PetaboxLoader3.resolve: 337.206 (2)
  load_resource: 1273.716
*/