.menu {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bold;
	color: #FFFFFF;
	text-decoration: none;
}
a.menu:link {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bold;
	color: #FFFFFF;
	text-decoration: none;
}
a.menu:visited {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bold;
	color: #FFFFFF;
	text-decoration: none;
}
a.menu:hover {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bold;
	color: #FFFFFF;
	text-decoration: underline;
}
.blanco {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bold;
	color: #99CCFF;
	text-decoration: none;
}
.mini {

	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9px;
	font-weight: bold;
	color: #FFFFFF;
	text-decoration: none;
}


/*
playback timings (ms):
  LoadShardBlock: 104.886 (3)
  esindex: 0.019
  captures_list: 5640.893
  CDXLines.iter: 13.343 (3)
  PetaboxLoader3.datanode: 107.42 (4)
  exclusion.robots.fetch: 5509.989 (4)
  exclusion.robots: 5510.548
  exclusion.robots.policy: 0.303
  RedisCDXSource: 8.822
  PetaboxLoader3.resolve: 209.877
  load_resource: 419.497
*/