function displayMenu(name, display)
{
	var element = document.getElementById(name);
	element.style.display = display ? "inline" : "none";
	// Internet Explorer appears to add a small margin to the left of the menu
	// The following two lines will remove this margin.
	if(navigator.appName == "Microsoft Internet Explorer")
		element.style.padding = "0px";
}