.style1 {
font-weight: bold
}
.style6 {
font-weight: bold
}
.style7 {
color: #FFFFFF;
font-weight: bold;
}
.style8 {
color: #990000
}
.style10 {
color: #990000;
font-weight: bold;
}
.style11 {
font-weight: bold
}
.style12 {
color: #000066
}
.style159 {
font-family: Calibri;
font-size: 14px;
font-weight: bold;
color: #990000;
}
.style160 {
font-family: Calibri;
color: #000066;
font-weight: bold;
font-size: 12px;
}


/*
     FILE ARCHIVED ON 06:55:07 Aug 26, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:40:54 Jun 09, 2026.
     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.627
  exclusion.robots: 0.059
  exclusion.robots.policy: 0.047
  esindex: 0.011
  cdx.remote: 20.339
  LoadShardBlock: 335.564 (3)
  PetaboxLoader3.datanode: 204.998 (4)
  PetaboxLoader3.resolve: 222.082 (3)
  load_resource: 117.605
*/