Merge branch 'master' into update_gpu_toolchain

ChaiBapchya · May 8, 2020 · fb860bb · fb860bb
2 parents 10fc2ef + 33dfbf7
commit fb860bb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/static_site/src/assets/js/options.js b/docs/static_site/src/assets/js/options.js
@@ -149,4 +149,8 @@ $(document).ready(function () {
         .mouseenter(toggleDropdown.bind(null, true))
         .mouseleave(toggleDropdown.bind(null, false))
         .click(function() {$(".version-dropdown").toggle()});
+
+    $("ul.version-dropdown").click(function(e) {
+        e.preventDefault();
+    });
 });