//�@Macintosh -> MacOS
//�@Windows95/98/NT/2000 -> Windows

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

//�@Netscape Navigator -> Netscape
//�@Internet Explorer -> Explorer

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 == "MacOS")   dirName = "mac";
if (os == "Windows") dirName = "win";
if (browser == "Netscape") dirName += "_nn";
if (browser == "Explorer") dirName += "_ie";
document.write("<link rel='stylesheet' href='/css/"+dirName+".css' type='text/css'>");