@charset "UTF-8";
@import "../../css/style.css";

div#content h1 { margin: 0 0 1em 0; padding: 3px 10px; background: #d7eed3; border-left: solid 5px #9cdeb4; color: #179e95; font-size: 140%; }

div#content ul { margin: 0; padding: 0; list-style: none; }
div#content li { padding: 10px; border-bottom: dotted 1px #ccc; }



/*
     FILE ARCHIVED ON 11:32:06 Nov 17, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 02:34:19 May 03, 2021.
     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):
  PetaboxLoader3.resolve: 206.968 (2)
  exclusion.robots.policy: 0.133
  RedisCDXSource: 0.906
  captures_list: 253.434
  load_resource: 348.208 (2)
  esindex: 0.01
  LoadShardBlock: 234.184 (3)
  exclusion.robots: 0.143
  PetaboxLoader3.datanode: 308.69 (5)
  CDXLines.iter: 15.437 (3)
*/