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

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

osName = getOSType();
appName = getBrowserName();
if (osName == "Windows") fName = "css/win";
if (osName == "MacOS") fName = "css/mac";
if (appName == "Explorer") fName += "ie.css";
if (appName == "Netscape") fName += "nn.css";
document.write("<link rel='stylesheet' href='"+fName+"' type='text/css'>");
