div.subscribe-edit .red {
	color:red;
}
div.subscribe-edit .green {
	color:green;
}
div.subscribe-edit .errorcolor {
	color:red;
}
div.subscribe-edit .successcolor {
	color:green;
}
	

/*
playback timings (ms):
  LoadShardBlock: 39.566 (3)
  esindex: 0.011
  exclusion.robots: 0.161
  RedisCDXSource: 0.599
  load_resource: 87.062
  captures_list: 62.693
  CDXLines.iter: 18.157 (3)
  exclusion.robots.policy: 0.152
  PetaboxLoader3.resolve: 35.434
  PetaboxLoader3.datanode: 63.888 (4)
*/