From 886f55deb68c9b793cdb6ca79300b743f95e250b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marian=20D=C3=B6rk?= <doerk@fh-potsdam.de>
Date: Mon, 11 Dec 2023 23:40:06 +0100
Subject: [PATCH] close menu on escape

---
 index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.html b/index.html
index 636fa89..4cd2965 100644
--- a/index.html
+++ b/index.html
@@ -66,6 +66,7 @@
             if (e.key === "Escape") {
 		        window.scrollTo({ top: 0, left: 0, behavior: 'smooth' });
 		        history.pushState("", document.title, window.location.pathname);
+                if (menuState) toggleMenu();
 	        }
         }
         setFontSize();