diff --git a/doc/html/header.txt b/doc/html/header.txt
index 75fc1f40853df84b0e8488207571c024333b0c99..a4125a5a180b43b17ecf5ca4260af3947e07744e 100644
--- a/doc/html/header.txt
+++ b/doc/html/header.txt
@@ -15,7 +15,17 @@
 	<link rel="stylesheet" type="text/css" href="style.css" />
 	<link rel="stylesheet" type="text/css" href="slurm.css" />
 
+	<script src="jquery.min.js"></script>
 	<script type="text/javascript">
+	jQuery(document).ready(function() {
+		jQuery('.menu-trigger').bind('click touchstart', function() {
+			jQuery(this).find('.menu-trigger__lines').toggleClass('menu-trigger__lines--closed');
+			jQuery(this).parents('.site-header').find('.site-nav').toggleClass('site-nav--active');
+
+			return false;
+		});
+	});
+
 	(function() {
 	  var cx = '011890816164765777536:jvrtxrd3f0w';
 	  var gcse = document.createElement('script');