function getOSType() {
	var uAgent = navigator.userAgent.toUpperCase();
	if (uAgent.indexOf("MAC") >= 0) return "MacOS";
	if (uAgent.indexOf("WIN") >= 0) return "Windows";
	if (uAgent.indexOf("X11") >= 0) return "UNIX";
	return "";
}

function getBrowserName() {
	var aName = navigator.appName.toUpperCase();
	if (aName.indexOf("NETSCAPE") >= 0)  return "Netscape";
	if (aName.indexOf("MICROSOFT") >= 0) return "Explorer";
	return "";
}

os = getOSType();
browser = getBrowserName();

if (os == "Windows") {
	document.write("<link rel='stylesheet' type='text/css' href='style_win.css' media='all' />");
}