@media print {
.hor-menu {
	display: none;
}
body, p {
	font-family: Times, serif;
	font-size: 12px;
	color: #c00;
}

}

/*
     FILE ARCHIVED ON 15:27:38 Oct 31, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 09:09:25 Apr 18, 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.624
  exclusion.robots: 0.026
  exclusion.robots.policy: 0.012
  esindex: 0.013
  cdx.remote: 6.803
  LoadShardBlock: 62.04 (3)
  PetaboxLoader3.datanode: 113.991 (4)
  load_resource: 148.674
  PetaboxLoader3.resolve: 76.025
*/