// this script determines whether the user's browser
	// is Macintosh or PC compatible, and loads a different
	// style sheet for each; for other browsers,
	// it does nothing
	window.onerror = null;
	 var vers=navigator.platform.substring(0,3);
	function itspc() {
	 document.write('<LINK REL="StyleSheet" HREF="styles/pc.css" TYPE="text/css">');
	}
	function itsmac() {
	 if (vers == "Mac")
	 document.write('<LINK REL="StyleSheet" HREF="styles/mac.css" TYPE="text/css">');
	}
	if (vers == "Win") {
	 itspc();
	}
	else{
	 itsmac();
	}