body {
	background-color: #EEEEEE;
}
h2 {
	font-family: Arial, Helvetica, sans-serif;
	font-style: italic;
	font-variant: normal;
	color: #993333;
	background-color: #999999;
}
h3 {
	font-family: "Times New Roman", Times, serif;
	color: #0033FF;
}
h4 {
	font-style: italic;
	color: #0033FF;
}

A:link { color: red }       
A:visited { color: #993333 }   /* visited links */
A:active { color: blue }    /* active links */

/* A:link { color: red }       unvisited link */
/* A:visited { color: #993333 }   /* visited links */
/* A:active { color: blue }    /* active links */
/*
     FILE ARCHIVED ON 16:56:13 Mar 20, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 00:19:14 Jun 01, 2018.
     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: 200.02 (3)
  esindex: 0.011
  captures_list: 215.683
  CDXLines.iter: 10.97 (3)
  PetaboxLoader3.datanode: 154.566 (5)
  exclusion.robots: 0.292
  exclusion.robots.policy: 0.272
  RedisCDXSource: 0.813
  PetaboxLoader3.resolve: 214.093 (4)
  load_resource: 184.493
*/