Made the download button link to zip files when viewed from windows.

2015-09-12 08:42:48 -04:00 · 2015-09-12 08:42:48 -04:00 · 6795d931b7
parent bf57e86a3c
commit 6795d931b7
1 changed files with 11 additions and 0 deletions
--- a/docs/docs/stylesheet.xsl
+++ b/docs/docs/stylesheet.xsl
@ -155,6 +155,17 @@ function BigToggle(node)
   }

 }
+
+function init_page()
+{
+   if (navigator.appVersion.indexOf("Win")!=-1)
+   {
+      var a = document.getElementById("download_button");
+      a.href = a.href.replace("tar.bz2", "zip");
+   }
+}
+window.onload = init_page;
+
 </script>

 <style type="text/css">