.catalog-price {
	 color:red;
}
div.catalog-top table td {
	padding-right:10px;
	padding-top:10px;
}

/*
playback timings (ms):
  RedisCDXSource: 3.739
  exclusion.robots.policy: 0.292
  LoadShardBlock: 210.4 (3)
  PetaboxLoader3.resolve: 174.113 (2)
  PetaboxLoader3.datanode: 366.582 (5)
  exclusion.robots: 0.314
  CDXLines.iter: 33.264 (3)
  captures_list: 253.65
  esindex: 0.022
  load_resource: 398.482
*/