function setLeftCornerVisibility(visibility)
{
	document.getElementById('nav_rot').style.visibility = visibility;
}