From 22a49d729a45ff22a3828e84c92fec0240088248 Mon Sep 17 00:00:00 2001
From: Bianca Zanardi <bianca.zanardi@gmail.com>
Date: Tue, 13 Feb 2024 01:00:25 +0100
Subject: [PATCH 1/2] Fix Hamburger button (#9)

---
 src/supplemental-ui/css/site-extra.css         | 14 ++++++++++++++
 src/supplemental-ui/js/landing-page-support.js |  6 +++---
 2 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/src/supplemental-ui/css/site-extra.css b/src/supplemental-ui/css/site-extra.css
index 38f94e4fcd..a23a9e1433 100644
--- a/src/supplemental-ui/css/site-extra.css
+++ b/src/supplemental-ui/css/site-extra.css
@@ -20,6 +20,20 @@ header .navbar.navbar-top {
     background-color: transparent;
 }
 
+.navbar-burger {
+    height: 3rem;
+    border-radius: 50%;
+}
+
+.navbar-burger:hover {
+    background-color: rgba(255, 255, 255, 0.08);
+}
+
+.navbar-burger:focus-visible {
+    outline: 2px solid white;
+    outline-offset: -8px;
+}
+
 /* Make the background color slightly less intense */
 .navbar-end .navbar-item.has-dropdown:hover .navbar-link, .navbar-end .navbar-link:hover, .navbar-end>a.navbar-item:hover {
     background: rgba(0, 0, 0, 0.5);
diff --git a/src/supplemental-ui/js/landing-page-support.js b/src/supplemental-ui/js/landing-page-support.js
index 2711d5a02e..9ff709c364 100644
--- a/src/supplemental-ui/js/landing-page-support.js
+++ b/src/supplemental-ui/js/landing-page-support.js
@@ -41,9 +41,9 @@
 
   function toggleNavbarMenu (e) {
     e.stopPropagation() // trap event
-    document.documentElement.classList.toggle('is-clipped--navbar')
-    navbarBurger.setAttribute('aria-expanded', this.classList.toggle('is-active'))
-    var menu = document.getElementById(this.getAttribute('aria-controls') || this.dataset.target)
+    document.classList.toggle('is-clipped--navbar')
+    navbarBurger.setAttribute('aria-expanded', document.classList.contains('is-clipped--navbar'))
+    var menu = document.getElementById("topbar-nav")
     if (menu.classList.toggle('is-active')) {
       menu.style.maxHeight = ''
       var expectedMaxHeight = window.innerHeight - Math.round(menu.getBoundingClientRect().top)

From 53a54a60a6ff7c32525e478c18854d23c4884bee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philip=20K=2EF=2E=20H=C3=B6lzenspies?= <holzensp@gmail.com>
Date: Tue, 13 Feb 2024 11:18:15 +0000
Subject: [PATCH 2/2] Update src/supplemental-ui/css/site-extra.css

Co-authored-by: Daniel Chao <daniel.h.chao@gmail.com>
---
 src/supplemental-ui/css/site-extra.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/supplemental-ui/css/site-extra.css b/src/supplemental-ui/css/site-extra.css
index a23a9e1433..7e62e53cc3 100644
--- a/src/supplemental-ui/css/site-extra.css
+++ b/src/supplemental-ui/css/site-extra.css
@@ -23,6 +23,8 @@ header .navbar.navbar-top {
 .navbar-burger {
     height: 3rem;
     border-radius: 50%;
+    right: 12px;
+    top: 3px;
 }
 
 .navbar-burger:hover {