function suggestDownloadPackage(){var a=navigator.userAgent;var e=(a.indexOf("Win")!=-1);var g=(a.indexOf("Mac")!=-1);var c=(a.indexOf("Linux")!=-1);var f=document.getElementById("dl-type-windows");var d=document.getElementById("dl-type-mac");var b=document.getElementById("dl-type-linux");if(g){if(f){f.style.display="none"}if(d){d.style.display="block"}}else{if(c){if(f){f.style.display="none"}if(b){b.style.display="block"}}}};