@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%; }


/*
     FILE ARCHIVED ON 11:05:05 Nov 17, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 02:40:47 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):
  CDXLines.iter: 16.31 (3)
  captures_list: 2338.096
  load_resource: 624.295 (2)
  LoadShardBlock: 2315.095 (3)
  exclusion.robots: 0.33
  RedisCDXSource: 3.145
  esindex: 0.012
  exclusion.robots.policy: 0.314
  PetaboxLoader3.resolve: 103.822 (2)
  PetaboxLoader3.datanode: 2721.998 (5)
*/