/*
 * menuExpandable2.js - implements an expandable menu based on a HTML list
 * Author: Dave Lindquist (dave@gazingus.org)
 */

var prevMenu;

if (!document.getElementById)
    document.getElementById = function() { return null; }

function ExpandCollapse(menuId)
{
    var menu = document.getElementById(menuId);
    if (menu == null) return;
    if (window.opera) return; // I'm too tired
    var display = menu.style.display;
    menu.style.display = (display == "block") ? "none" : "block";
    if ((prevMenu != null) && (prevMenu != menu))
    {
	prevMenu.style.display = "none";
    }
    prevMenu = menu;
    return false;
}