/**** $Id: toggle.js,v 1.1 2008/05/07 17:45:56 mkrzyzanowski Exp $ ****/

/**
 * Toggle the visibility of the given element.
 * @param {Element} id
 */
function toggle_visibility(id)
{
	var e = document.getElementById(id);
	if (e.style.display == 'none')
	{
		e.style.display = 'block';
	}
	else
	{
		e.style.display = 'none';
	}
}