/* Controls pop-up effect window */

// Show help div
function help_show()
{
	document.getElementById("help").style.visibility = "visible";
}

// hide help div
function help_hide()
{
	document.getElementById("help").style.visibility = "hidden";
}