@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 700;
  src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v14/k3k702ZOKiLJc3WVjuplzInF5uFdDttMLvmWuJdhhgs.ttf) format('truetype');
}


/*
playback timings (ms):
  captures_list: 430.572
  exclusion.robots: 0.153
  exclusion.robots.policy: 0.139
  cdx.remote: 0.111
  esindex: 0.013
  LoadShardBlock: 216.395 (3)
  PetaboxLoader3.datanode: 199.001 (4)
  CDXLines.iter: 17.567 (3)
  load_resource: 128.275
  PetaboxLoader3.resolve: 53.47
*/