<!--

function OSType()

{

    var uAgent  = navigator.userAgent.toUpperCase();

    if (uAgent.indexOf("MAC") >= 0) return "MacOS";

    if (uAgent.indexOf("WIN") >= 0) return "Windows";

    return "";

}



os      = OSType();

if (os == "MacOS")   dirName = "../style/search_mac.css";

if (os == "Windows") dirName = "../style/search.css";

document.write("<link rel='stylesheet' href='"+dirName+"' type='text/css' />");

// -->
