/**
 *
 * -------------------------------------------
 * Custom CSS changes
 * -------------------------------------------
 *
 **/
 
 /* Here you can put your CSS modifications using the Child Theme */
/*
     FILE ARCHIVED ON 22:27:06 Oct 19, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 10:36:06 Aug 06, 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.468
  exclusion.robots: 0.049
  exclusion.robots.policy: 0.04
  esindex: 0.008
  cdx.remote: 19.101
  LoadShardBlock: 58.222 (3)
  PetaboxLoader3.resolve: 310.42 (4)
  PetaboxLoader3.datanode: 66.834 (5)
  load_resource: 374.991 (2)
*/