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

.filter_option_smaller
{
	color: #FFFFFF;
	font-family: Verdana, Arial, sans-serif;
	font-size: 9px;
	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 22:22:03 Jun 07, 2011 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 20:53:45 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: 358.467
  exclusion.robots: 0.08
  exclusion.robots.policy: 0.073
  RedisCDXSource: 0.987
  esindex: 0.007
  LoadShardBlock: 343.337 (3)
  PetaboxLoader3.datanode: 65.927 (4)
  CDXLines.iter: 12.353 (3)
  load_resource: 58.373
  PetaboxLoader3.resolve: 29.58
*/