isNavOpen = false;

function toggleNav(on) {
  var nav = document.getElementById("nav");
  if (on) {
    nav.style.height = "100%";
    isNavOpen = true;
  } else {
    nav.style.height = "1.9rem";
    isNavOpen = false;
  }
}