function navbar_hover(navElem)
{
    navElem.className = navElem.className.replace("navunselected", "navhover");
}

function navbar_unhover(navElem)
{
    navElem.className = navElem.className.replace("navhover", "navunselected");
}

function toggle_elem(id)
{
    var e = document.getElementById(id);
    if (e.style.display == "")
    {
        e.style.display = "none";
    }
    else
    {
        e.style.display = "";
    }
}