jimmy.nz/src/main.js

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