BODY {
  overflow: auto;
  padding: 0;
}

.header {
  width: 100%;
  background-color: white;
  display: none;
}

.page {
  position: static;
  overflow: initial;
  margin: 0;
  background-color: white;
  border: none;
  padding: 1em;
}

#page-frame {
  position: static;
  max-width: 80em;
  border: none;
  background-color: none;
  margin: 0;
}

/*
     FILE ARCHIVED ON 01:47:52 Oct 16, 2017 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:43:05 Jul 04, 2022.
     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):
  captures_list: 173.063
  exclusion.robots: 0.166
  exclusion.robots.policy: 0.16
  cdx.remote: 0.059
  esindex: 0.009
  LoadShardBlock: 147.18 (3)
  PetaboxLoader3.resolve: 127.907 (2)
  PetaboxLoader3.datanode: 77.089 (4)
  CDXLines.iter: 15.669 (3)
  load_resource: 117.746
*/