From 1be2c419817d1cbfb2e8a40e6d682c285ed2cd3a Mon Sep 17 00:00:00 2001
From: Andrea Coiutti <acx@ngi.it>
Date: Fri, 24 Nov 2017 20:12:34 +0100
Subject: [PATCH] Fix headings displaying over menu on mobile (#2022)

---
 docs/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/style.css b/docs/style.css
index bf0e6874..96efe7d2 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -57,7 +57,7 @@ h1 + ul strong + ul {border-left:3px solid #1e5799;}
 	.hamburger:hover {text-decoration:none;}
 	main section {margin:0;}
 	header section {margin:0 0 20px;position:static;width:auto;}
-	h1 + ul {background:#eee;border:1px solid #ccc;box-sizing:border-box;display:none;height:100%;margin:0;overflow:auto;padding:20px;position:fixed;right:0;top:0;width:100%;}
+	h1 + ul {background:#eee;border:1px solid #ccc;box-sizing:border-box;display:none;height:100%;margin:0;overflow:auto;padding:20px;position:fixed;right:0;top:0;width:100%;z-index:1}
 	h1 + ul + hr {display:block;}
 	.navigating h1 + ul {display:block;}
 	.navigating {overflow:hidden;}