.header1 {  font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold; color: #333333}
.header2 {  font-family: Helvetica, Arial, sans-serif; font-size: 11pt; font-weight: bold; color: #000000}
.header3 {  font-family: Helvetica, Arial, sans-serif; font-size: 10pt; font-weight: bold; color: #000000}
.bodytext {  font-family: Helvetica, Arial, sans-serif; font-size: 11pt; font-weight: normal; color: #000000}
.sitenav {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; font-weight: normal; color: #000000}
.copyright {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-weight: normal; color: #666666}
.menunav {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: normal; color: #000000}
.highlight {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; font-weight: bold; color: #000000}
.header4 {  font-family: Helvetica, Arial, sans-serif; font-size: 10pt; font-weight: bold; color: #FFFFFF}
.bodytext2 {  font-family: Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: bolder; color: #000000}
.bodyitalic {  font-family: Helvetica, Arial, sans-serif; font-size: 11pt; font-weight: normal; color: #660000; font-style: oblique}
.mantras {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: bold; color: #333333}
.header5 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: bold; background-color: #000000; color: #FFFFFF}
.micro {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: xx-small}

/*
     FILE ARCHIVED ON 18:35:41 Jan 03, 2010 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 14:56:54 Jul 01, 2025.
     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.631
  exclusion.robots: 0.035
  exclusion.robots.policy: 0.021
  esindex: 0.014
  cdx.remote: 98.693
  LoadShardBlock: 179.805 (3)
  PetaboxLoader3.datanode: 233.922 (4)
  load_resource: 82.393
*/