#searchform2 { float:left; padding-top:5px; }
#searchform2 input#SearchableText { width:141px; height:8px; padding:2px; border:1px solid #999; font-size:10px; color:#999; }
#searchform2 input#searchsubmit { vertical-align:-4px; }

/*
     FILE ARCHIVED ON 06:01:19 Jun 13, 2021 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 14:33:21 Oct 24, 2022.
     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: 311.255
  exclusion.robots: 0.338
  exclusion.robots.policy: 0.324
  RedisCDXSource: 1.895
  esindex: 0.014
  LoadShardBlock: 283.723 (3)
  PetaboxLoader3.datanode: 161.033 (5)
  CDXLines.iter: 20.958 (3)
  load_resource: 186.496 (2)
  PetaboxLoader3.resolve: 106.667 (2)
*/