// Functions for side menus

/*
function hideLayer(whichLayer) {
    if (document.getElementById(whichLayer)) {
        var myObj = document.getElementById(whichLayer).style;
        myObj.visibility = "hidden";
    }    
}    

function showLayer(whichLayer) {
    if (document.getElementById(whichLayer)) {
        // this is the way the standards work
        var myObj = document.getElementById(whichLayer).style;
        myObj.visibility = "visible";
    }    
}
*/

function toggleLayer(whichLayer) {
    if (document.getElementById(whichLayer)) {
        var myObj = document.getElementById(whichLayer).style;
        if (myObj.display == "none" || myObj.display == "") {
            myObj.display = "inline";
        } else {
            myObj.display = "none";
        }
    }
}