.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):
  esindex: 0.013
  LoadShardBlock: 76.935 (3)
  RedisCDXSource: 1.833
  PetaboxLoader3.resolve: 59.439
  CDXLines.iter: 22.238 (3)
  exclusion.robots: 0.184
  load_resource: 77.368
  PetaboxLoader3.datanode: 51.91 (4)
  captures_list: 105.073
  exclusion.robots.policy: 0.171
*/