#document-summary h3, #document-highlights h3 {
    margin-bottom:10px;
}

#document-summary {
    margin:30px 0 30px 0;
}

#document-summary img {
    float:left;
    margin-right:20px;
}

#document-highlights {
   }
   
#document-highlights ul {
    list-style-type: disc;
    margin-left:16px;
}

#document-highlights ul li {
    line-height:2.5em;
}




/*
     FILE ARCHIVED ON 15:46:47 Apr 19, 2017 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 09:10:41 Jun 18, 2021.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  exclusion.robots: 0.439
  captures_list: 201.141
  cdx.remote: 0.113
  esindex: 0.017
  LoadShardBlock: 144.648 (3)
  PetaboxLoader3.resolve: 33.934
  PetaboxLoader3.datanode: 86.501 (4)
  exclusion.robots.policy: 0.424
  load_resource: 42.023
  CDXLines.iter: 34.882 (3)
*/