// 'move' the nav div to the nav_container div
document.getElementById("nav_container").innerHTML = document.getElementById("nav_empty").innerHTML;
// hide the nav_empty div
document.getElementById("nav_empty").style.display = "none";
document.getElementById("nav_empty").innerHTML = "";