/* 
WOO CUSTOM STYLESHEET
---------------------

Instructions:

Add your custom styles here instead of style.css so it 
is easier to update the theme. Simply copy an existing 
style from style.css to this file, and modify it to 
your liking.

*/


/*
     FILE ARCHIVED ON 15:32:14 Oct 14, 2017 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 09:40:50 May 15, 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: 1227.563
  exclusion.robots: 0.149
  exclusion.robots.policy: 0.137
  cdx.remote: 0.086
  esindex: 0.013
  LoadShardBlock: 42.63 (3)
  PetaboxLoader3.datanode: 51.183 (4)
  CDXLines.iter: 19.438 (3)
  load_resource: 59.433
  PetaboxLoader3.resolve: 42.554
*/