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

Instructions:

Add your custom styles in this file 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 09:24:19 Jun 20, 2015 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 18:44:48 May 13, 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.624
  exclusion.robots: 0.065
  exclusion.robots.policy: 0.054
  esindex: 0.011
  cdx.remote: 6.408
  LoadShardBlock: 73.702 (3)
  PetaboxLoader3.datanode: 121.628 (5)
  PetaboxLoader3.resolve: 162.094 (3)
  load_resource: 258.181 (2)
*/