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

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

function initializeMenu(menuId, actuatorId) {
    var menu = document.getElementById(menuId);
    var actuator = document.getElementById(actuatorId);

    if (menu == null || actuator == null) return;

    //if (window.opera) return; // I'm too tired
	actuator.parentNode.style.listStyleImage = "url(/images/plus.gif)";

    actuator.onmouseover = function() {
        var display = menu.style.display;
		menu.style.display = (display == "block") ? "none" : "block";
        return false;
    }
}