/*
 * based on menuExpandable3.js
 * Author: Dave Lindquist (http://www.gazingus.org)
 */

addOnloadEvent(function(){ initializeMenu("f1-list", "f1-actuator") });

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

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

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