// To compensate for the major font size differences between PC and Macs, this script determines which platform a user is browsing on, and assigns the corresponding stylesheet 
NS4 = (document.layers);
IE4 = (document.all);
ver4 = (NS4 || IE4);
IE5 = (IE4 && navigator.appVersion.indexOf("5.")!=-1);
isMac = (navigator.appVersion.indexOf("Mac") != -1);

if (isMac) {
	document.write('<LINK REL=stylesheet HREF="' + pathtoroot + 'style_mac.css" TYPE="text/css">'); }
else  {
	if (NS4) {
		document.write('<LINK REL=stylesheet HREF="' + pathtoroot + 'style_pcns.css" TYPE="text/css">'); }
	else {		
		document.write('<LINK REL=stylesheet HREF="' + pathtoroot + 'style_pcie.css" TYPE="text/css">'); }
		}