os      = getOSType();
browser = getBrowserName();
if(os == "Mac" && browser == "Firefox")
{
	css = "../mac_ff.css";
	document.write("<link rel=\"stylesheet\" href=\"../mac_ff.css\" type=\"text/css\">");
}


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


function getBrowserName()
{
    var uName = navigator.userAgent.toUpperCase();
    if (uName.indexOf("FIREFOX") >= 0)  return "Firefox";
    return "";
}