function show_about()
{
	el = document.getElementById("about");
	
	if(el.style.visibility == "visible")
	{
		el.style.visibility = "hidden";
		el.style.height = "0px";
	}
	else
	{
		el.style.visibility = "visible";
		el.style.height = "50px";
	}
}