/* default custom CSS file */
/*
     FILE ARCHIVED ON 07:03:57 Dec 04, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 11:16:53 Aug 20, 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.673
  exclusion.robots: 0.093
  exclusion.robots.policy: 0.076
  esindex: 0.01
  cdx.remote: 61.647
  LoadShardBlock: 196.812 (3)
  PetaboxLoader3.datanode: 172.273 (5)
  PetaboxLoader3.resolve: 146.957 (3)
  load_resource: 264.655 (2)
*/