#body a:link:after, #body a:visited:after {
	content: " <" attr(href) "> ";
	font-size: 90%;
}

/*
     FILE ARCHIVED ON 07:46:25 Feb 06, 2009 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:43:20 Jun 12, 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.508
  exclusion.robots: 0.045
  exclusion.robots.policy: 0.034
  esindex: 0.008
  cdx.remote: 8.394
  LoadShardBlock: 70.41 (3)
  PetaboxLoader3.datanode: 48.666 (4)
  load_resource: 87.182
  PetaboxLoader3.resolve: 47.35
*/