function disableNavBar() {
    var n = document.getElementById("navbar");
    n.style["display"] = "none";
    var b1 = document.getElementById("bb1");
    b1.style["display"] = "none";
    var b2 = document.getElementById("bb2");
    b2.style["display"] = "none";
    var b3 = document.getElementById("bb3");
    b3.style["display"] = "none";
    var c = document.getElementById("content");
    c.style["left"] = "0.5em";
    var b1 = document.getElementById("backbox1");
    b1.style["display"] = "none";
}