.panel-flexible .panel-separator {
  margin: 0 0 1em 0;
}


/*
playback timings (ms):
  esindex: 0.017
  RedisCDXSource: 96.563
  captures_list: 328.9
  LoadShardBlock: 212.716 (3)
  exclusion.robots: 0.215
  exclusion.robots.policy: 0.198
  PetaboxLoader3.resolve: 446.398
  CDXLines.iter: 14.752 (3)
  PetaboxLoader3.datanode: 261.415 (4)
  load_resource: 498.117
*/