// toggle mobile navigation
function toggleMobileNav() {
        nav = document.getElementById('nav')
	if( nav.className == '') {
		nav.className = "mobile";
	}
	else {
		nav.className = "";
	}
}