.pagination {
padding:5px;
padding-left:0px;
padding-right:12px;
margin-top:5px;
margin-bottom:5px;
text-align:right;
}
.pagination a {
border:1px solid #918e8e;
margin-right:5px;
padding:5px;

}
.pagination a:hover {
background:#0d62ae;
color:#FFFFFF;
font-weight:bold;
}



/*
playback timings (ms):
  captures_list: 0.599
  exclusion.robots: 0.02
  exclusion.robots.policy: 0.009
  esindex: 0.016
  cdx.remote: 15.62
  LoadShardBlock: 85.041 (3)
  PetaboxLoader3.datanode: 161.339 (4)
  load_resource: 129.978
  PetaboxLoader3.resolve: 40.819
*/