@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 700;
  src: local('Roboto Bold'), local('Roboto-Bold'), url(https://fonts.gstatic.com/s/roboto/v16/d-6IYplOFocCacKzxwXSOKCWcynf_cDxXwCLxiixG1c.ttf) format('truetype');
}


/*
playback timings (ms):
  captures_list: 2682.566
  exclusion.robots: 0.211
  exclusion.robots.policy: 0.192
  cdx.remote: 0.165
  esindex: 0.016
  LoadShardBlock: 280.798 (3)
  PetaboxLoader3.datanode: 101.662 (5)
  CDXLines.iter: 19.08 (3)
  load_resource: 572.145 (2)
  PetaboxLoader3.resolve: 518.869 (2)
*/