.header {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
	color: #CCCCCC;
	font-weight: bold;

}
.main {
	font-family: "Times New Roman", Times, serif;
	color: #CCCCCC;
}
.captions {
	font-family: "Times New Roman", Times, serif;
	font-size: x-small;
	color: #999999;
}
.redheader {

	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
	color: #dd0000;
	font-weight: bold;
}


/*
playback timings (ms):
  exclusion.robots.policy: 0.201
  captures_list: 208.033
  exclusion.robots: 0.216
  RedisCDXSource: 0.758
  PetaboxLoader3.resolve: 179.338
  esindex: 0.014
  CDXLines.iter: 21.05 (3)
  LoadShardBlock: 181.26 (3)
  PetaboxLoader3.datanode: 184.715 (4)
  load_resource: 200.732
*/