A:hover { color:#FF0000;}
A:link { color:#0000FF;}
.title {
	font-family: "times new roman",times,verdana;
	font-size: 18pt;
	color: #0000A0;
	font-weight: bold;
}
.smalltitle {
              font-family: verdana,arial,helvetica;
	font-size: 12pt;
	color: #0000A0;
	font-weight: bold;
}
.largertext {
	font-family: verdana,arial,helvetica;
	font-size: 14pt;
	font-weight: normal;
}
.largetext {
	font-family: verdana,arial,helvetica;
	font-size: 12pt;
	font-weight: normal;
}
.subhead {
	font-family: verdana,arial,helvetica;
	font-size: 10pt;
	font-weight: bold;
	color: #0000A0;
}
td, .regtext {
        	font-family: verdana,arial,helvetica;
	font-size: 10pt;
	font-weight: normal;
}
.regtextwide {
        	font-family: verdana,arial,helvetica;
	font-size: 10pt;
	font-weight: normal;
}
.regtextthin {
	font-family: arial,helvetica,verdana;
	font-size: 10pt;
	font-weight: normal;
}
.smalltext {
        	font-family: arial,verdana,helvetica;
	font-size: 8pt;
	font-weight: normal;
}
.smalltextwide {
        	font-family: verdana,arial,helvetica;
	font-size: 8pt;
	font-weight: normal;
}
.9text {
	font-family: verdana,arial,helvetica;
	font-size: 9pt;
	font-weight: normal;
}
.9textthin {
	font-family: arial,verdana,helvetica;
	font-size: 9pt;
	font-weight: normal;	
}
.smalltextthin {
        	font-family: arial,helvetica,verdana;
	font-size: 8pt;
	font-weight: normal;
}
.fpcaption {
	font-family: arial,verdana,helvetica;
	font-size: 8pt;
	font-weight: normal;
}
.caption {
        	font-family: arial,verdana,helvetica;
	font-size: 10pt;
	font-weight: bold;
	color: #808080;
}
.summary {
	font-family: arial,helvetica,verdana;
	font-size: 10pt;
	font-weight: bold;
}
.topnav {
	text-decoration: none;
	font-family: verdana,arial,helvetica;
	font-size: 8pt;
	font-weight: normal;
	color: #636363;
}
td.rightcol {
	font-family: verdana,arial,helvetica;
	font-size: 8pt;
}

/*
     FILE ARCHIVED ON 01:08:53 Dec 01, 2001 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:17:04 May 20, 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):
  LoadShardBlock: 100.504 (3)
  exclusion.robots: 0.821
  PetaboxLoader3.datanode: 177.737 (4)
  RedisCDXSource: 3.566
  exclusion.robots.policy: 0.36
  PetaboxLoader3.resolve: 30.242
  esindex: 0.007
  CDXLines.iter: 16.055 (3)
  captures_list: 123.694
  load_resource: 120.368
*/