font.errortext
{
	color:red;
}

font.notetext
{
	color:green;
}

/*
playback timings (ms):
  LoadShardBlock: 50.268 (3)
  esindex: 0.006
  captures_list: 66.4
  CDXLines.iter: 11.818 (3)
  PetaboxLoader3.datanode: 74.205 (4)
  exclusion.robots.fetch: 0.257 (4)
  exclusion.robots: 0.746
  exclusion.robots.policy: 0.244
  RedisCDXSource: 0.718
  PetaboxLoader3.resolve: 2046.832
  load_resource: 2129.731
*/