body         { font-face: arial; font-size: 10pt; font-family: 
               arial }
table        { font-face: arial; font-size: 10pt }
td           { font-face: arial; font-size: 10pt }
h1           { font-size: 12pt; font-weight: bold }
h2           { font-size: 10pt}
a:link       { text-decoration: underline; font-weight : bold; color: navy; font-size: 10pt }
a:visited    { text-decoration: underline; font-weight : bold; color: navy; font-size: 10pt }
a:active     { text-decoration: underline; font-weight : bold; color: navy; font-size: font-size: 10pt }
a:hover      { text-decoration: underline; color: red }

/*
playback timings (ms):
  captures_list: 109.966
  exclusion.robots: 0.095
  exclusion.robots.policy: 0.087
  cdx.remote: 0.069
  esindex: 0.01
  LoadShardBlock: 81.974 (3)
  PetaboxLoader3.datanode: 86.184 (4)
  CDXLines.iter: 19.003 (3)
  load_resource: 71.96
  PetaboxLoader3.resolve: 31.597
*/