/* -- This is the place to add your own style modifications without touching the original styles -- */


/*
     FILE ARCHIVED ON 09:14:20 Jul 12, 2025 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 10:35:38 Jul 24, 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: 1.045
  exclusion.robots: 0.148
  exclusion.robots.policy: 0.128
  esindex: 0.019
  cdx.remote: 57.44
  LoadShardBlock: 385.017 (3)
  PetaboxLoader3.datanode: 891.372 (5)
  PetaboxLoader3.resolve: 90.163 (2)
  load_resource: 735.33
  loaddict: 96.124
*/