diff --git a/docs/assets/js/application.js b/docs/assets/js/application.js
index e5cdefdee0..01719fb468 100644
--- a/docs/assets/js/application.js
+++ b/docs/assets/js/application.js
@@ -5,6 +5,7 @@ $(document).ready(function(){
$("ul.menu-dropdown").hide();
$('a.menu').parent("li").removeClass("open").children("ul.menu-dropdown").hide();
});
+
$("a.menu").click(function(e) {
var $target = $(this);
var $parent = $target.parent("li");
diff --git a/docs/index.html b/docs/index.html
index e7929e8eec..60fd52d7d4 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -18,6 +18,7 @@
-->
+