#tooltip {
	position: absolute;
	z-index: 3000;
	border: 1px solid #111;
	background-color: rgba(238,238,238,0.75);
	padding: 5px;
}
#tooltip h3, #tooltip div { margin: 0; font-size: small; }

/*
     FILE ARCHIVED ON 02:49:55 Feb 12, 2022 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 02:00:44 Apr 19, 2026.
     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.563
  exclusion.robots: 0.04
  exclusion.robots.policy: 0.03
  esindex: 0.01
  cdx.remote: 27.569
  LoadShardBlock: 250.542 (3)
  PetaboxLoader3.resolve: 173.988 (3)
  PetaboxLoader3.datanode: 186.031 (4)
  load_resource: 155.931
*/