// plain-menu.js
// drop down menu without fades
// use bw-menu.js for fades

function setMenu( id )
{
    var e = document.getElementById(id);
    e.style.visibility = "visible";
}


function clearMenu( id )
{
    var e = document.getElementById(id);
//    state[id] = false;
    e.style.visibility = "hidden";
}