/* 
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.

*/



/*
playback timings (ms):
  captures_list: 85.761
  exclusion.robots.policy: 0.156
  exclusion.robots: 0.168
  RedisCDXSource: 0.546
  CDXLines.iter: 13.136 (3)
  PetaboxLoader3.datanode: 102.724 (4)
  LoadShardBlock: 69.521 (3)
  load_resource: 34.575
  esindex: 0.01
*/