/*** Select Style Sheet ***/

//�@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'>");