function editNav() {
    document.getElementById("nav_editor").style.visibility = "visible";
}
function exitNav() {
    document.getElementById("nav_editor").style.visibility = "hidden";
}