/* -- This is the place to add your own style modifications without touching the original styles -- */
/*
     FILE ARCHIVED ON 22:11:27 Jan 09, 2019 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:16:46 Jul 21, 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.389
  exclusion.robots: 0.05
  exclusion.robots.policy: 0.043
  esindex: 0.006
  cdx.remote: 68.728
  LoadShardBlock: 104.978 (3)
  PetaboxLoader3.resolve: 216.022 (5)
  PetaboxLoader3.datanode: 66.518 (5)
  load_resource: 239.893 (2)
*/