* {
	color: #000 !important;
	background: #fff !important;
	border: none !important;
	position: static !important;
}

body {
	background: #fff;
	color: #000;
	font-family: serif;
	font-size: 12pt;
	margin:0.5cm;
	padding: 0;
}

/*
     FILE ARCHIVED ON 15:38:02 Nov 19, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 15:44:08 May 31, 2019.
     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):
  LoadShardBlock: 111.265 (3)
  esindex: 0.015
  captures_list: 138.717
  CDXLines.iter: 14.838 (3)
  PetaboxLoader3.datanode: 114.187 (5)
  exclusion.robots: 0.357
  exclusion.robots.policy: 0.336
  RedisCDXSource: 6.793
  PetaboxLoader3.resolve: 357.834 (3)
  load_resource: 428.244
*/