0) { document.getElementById("bold").href = "/css/mac.css"; } else { document.getElementById("bold").href = "/css/win.css"; } if (navigator.userAgent.indexOf("Firefox") > 0) { navigator.mimeTypes["application/pdf"] = {}; }