From 6795d931b718d5cdb83ef38facc964c5622683f7 Mon Sep 17 00:00:00 2001
From: Davis King <davis@dlib.net>
Date: Sat, 12 Sep 2015 08:42:48 -0400
Subject: [PATCH] Made the download button link to zip files when viewed from
 windows.

---
 docs/docs/stylesheet.xsl | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/docs/stylesheet.xsl b/docs/docs/stylesheet.xsl
index 73e21c550..c57df554f 100644
--- 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">