// JScript source code

	function cleanupPage(){
		var z;
		if (navigator.appName=="Microsoft Internet Explorer"){
			z = document.getElementById("secondaryCSS");
			z.href = "IEadjust.css";
			}
		var n;
		n = screen.availHeight;
		n = n * 4/3;
		n = n * .875;
		z = document.getElementById("mainDiv");
		z.style.width = n;
		z.style.marginLeft = -n/2;
		n = n/105;
	
		z.style.fontSize = n+"pt";
	}