function set_navbar_focus(selected_tab){
    console.log("in set_navbar_focus")
    console.log(selected_tab)
    var nav = document.getElementById("nav");
    var nav_tabs = nav.childNodes;

    for (var i = 0; i < nav_tabs.length; i++) {
        if (nav_tabs[i].id == selected_tab) {
            nav_tabs[i].classList.add("active");
        } else {
            nav_tabs[i].classList.remove("active");
        }
    }
}