.dummy{} 


	.pagerbox, a.pagerbox{
		border: 1px solid black;
		background-color: white;
		font-size: 12px;
		display:-moz-inline-box;
		display: inline-block;
		font-weight: normal;
		color: #67A7C4;
		padding-top: 2px;
		padding-right: 4px;
		padding-bottom: 2px;
		padding-left: 4px;
		margin-top: 2px;
		margin-right: 0px;
		margin-bottom: 2px;
		margin-left: 2px;
		text-decoration: none;
	}
	
	a.pagerbox:hover {
		color: #7F7F7F;
		background-color: white;
		text-decoration: none;
	}
	
	.pagerbox2, .pagerbox2:active, .pagerbox2:visited  {
		border: 1px solid black;
		font-size: 12px;
		display:-moz-inline-box;
		display: inline-block;
		font-weight: normal;
		color: #7F7F7F;
		background-color: white;
		padding-top: 2px;
		padding-right: 4px;
		padding-bottom: 2px;
		padding-left: 4px;
		margin-top: 2px;
		margin-right: 0px;
		margin-bottom: 2px;
		margin-left: 2px;
	}	
	.radiobuttontable {
		border-bottom-width: 0px !important;  
		padding:0 !important; 
		margin: 0 !important;
	}

/*
playback timings (ms):
  captures_list: 354.497
  exclusion.robots: 0.075
  exclusion.robots.policy: 0.068
  RedisCDXSource: 100.204
  esindex: 0.018
  LoadShardBlock: 231.842 (3)
  PetaboxLoader3.datanode: 246.243 (4)
  CDXLines.iter: 20.436 (3)
  load_resource: 207.009
  PetaboxLoader3.resolve: 152.623
*/