.filter_option
{
	color: #FFFFFF;
	font-family: Verdana, Arial, sans-serif;
	font-size: 10px;
	font-weight: normal;
	
	text-decoration: none;
}

.browse_letters
{
	float:right; 
	margin-right:10px;
	margin-top:8px;
}

.filter_dropdown
{
	height:18px;
}

.header_banner
{
	background:#203B71;
	padding-left:5px;
}
/*
     FILE ARCHIVED ON 03:21:53 Sep 03, 2011 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:27:22 Sep 10, 2022.
     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: 117.398
  exclusion.robots: 0.163
  exclusion.robots.policy: 0.158
  RedisCDXSource: 3.668
  esindex: 0.01
  LoadShardBlock: 89.564 (3)
  PetaboxLoader3.datanode: 81.271 (4)
  CDXLines.iter: 21.832 (3)
  load_resource: 65.655
  PetaboxLoader3.resolve: 31.874
*/