function toggle() {
    var nav = document.getElementById("nav");
    nav.classList.toggle("hidden");
}