.a12 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	line-height: 22px;
	text-decoration: none;
}
.a212 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	line-height: 26px;
}
a:link {
	color: #333333;
	text-decoration: none;
}
a:hover {
	color: #FF0000;
	text-decoration: underline;
}
a:visited {
	color: #666666;
	text-decoration: none;
}
a:active {
	color: #FF0000;
	text-decoration: none;
}

/*
     FILE ARCHIVED ON 04:04:02 Aug 14, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 09:11:27 Sep 23, 2025.
     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.496
  exclusion.robots: 0.025
  exclusion.robots.policy: 0.015
  esindex: 0.012
  cdx.remote: 49.58
  LoadShardBlock: 52.017 (3)
  PetaboxLoader3.datanode: 91.742 (4)
  load_resource: 128.522
  PetaboxLoader3.resolve: 60.957
*/