div.codeblock {
  padding: 5px;
  border: 1px solid #CCC;
  background-color: #EEE;
}


/*
playback timings (ms):
  captures_list: 0.461
  exclusion.robots: 0.018
  exclusion.robots.policy: 0.008
  esindex: 0.01
  cdx.remote: 13.839
  LoadShardBlock: 170.943 (3)
  PetaboxLoader3.datanode: 187.053 (4)
  load_resource: 129.093
  PetaboxLoader3.resolve: 77.341
*/