Fix Hamburger button (#11)

* Fix Hamburger button (#9)

* Update src/supplemental-ui/css/site-extra.css

Co-authored-by: Daniel Chao <daniel.h.chao@gmail.com>

---------

Co-authored-by: Philip K.F. Hölzenspies <holzensp@gmail.com>
Co-authored-by: Daniel Chao <daniel.h.chao@gmail.com>

Author: 3 people

src/supplemental-ui/css/site-extra.css

@@ -20,6 +20,22 @@ header .navbar.navbar-top {
     background-color: transparent;
 }
 
+.navbar-burger {
+    height: 3rem;
+    border-radius: 50%;
+    right: 12px;
+    top: 3px;
+}
+
+.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);

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)