/* Change this is you need smaller tabs */
/* .ui-tabs.ui-widget { font-size: 0.9em !important; } */

/*
playback timings (ms):
  exclusion.robots: 0.081
  exclusion.robots.policy: 0.067
  cdx.remote: 0.114
  esindex: 0.013
  LoadShardBlock: 255.345 (6)
  PetaboxLoader3.datanode: 193.677 (7)
  load_resource: 276.195
  PetaboxLoader3.resolve: 198.744
*/