html>body div#Sidebar {
	/* Set the real margins, hidden from IE/Win: */
	top: 189px;
	margin: 0;
	}
/*
     FILE ARCHIVED ON 18:35:33 Feb 18, 2020 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 00:53:09 Oct 14, 2025.
     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: 0.609
  exclusion.robots: 0.022
  exclusion.robots.policy: 0.011
  esindex: 0.012
  cdx.remote: 28.533
  LoadShardBlock: 408.214 (6)
  PetaboxLoader3.datanode: 316.558 (7)
  PetaboxLoader3.resolve: 197.708 (2)
  load_resource: 235.652
*/