#pageHeader h2 {
	font-size: 14px;
}


/*
     FILE ARCHIVED ON 11:38:28 Aug 28, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 07:42:02 Nov 20, 2018.
     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):
  LoadShardBlock: 70.179 (3)
  esindex: 0.012
  captures_list: 90.849
  CDXLines.iter: 14.298 (3)
  PetaboxLoader3.datanode: 76.312 (5)
  exclusion.robots: 0.204
  exclusion.robots.policy: 0.189
  RedisCDXSource: 1.841
  PetaboxLoader3.resolve: 136.235 (3)
  load_resource: 181.354
*/