// irb.js
function expand($name)
{
	var elem, vis;
	
	if (document.getElementById) // most modern browsers
		$elem = document.getElementById($name);
	else if (document.all) // old IE, this probably isn't needed but we'll do it anyway
		$elem = document.all[$name];
	else if (document.layers) // netscape 4, again, almost definitely not needed.
		$elem = document.layers[$name];
		
	$vis = $elem.style;
	
	$vis.display = ($vis.display == "block") ? "none" : "block";
}