var menu;
var content;

window.onload = function()
{
	var menuElement = document.getElementById("menu");
	menu = new Menu(menuElement);
	
	var contentElement = document.getElementById("content");
	content = new Content(contentElement);
	
	// todo: check for page=xxx in url
}

function loadPage(page)
{
	content.load(page);
}

function setMenu(name)
{
	menu.setSelected(name);
}

function goContent(par)
{
	alert("goContent: not implemented");
}

function contentStart()
{
	content.start();
}

function contentGoPrev()
{
	content.prev();
}

function contentGoNext()
{
	content.next();
}

function toggleVisible(id)
{
	var element = document.getElementById(id);
	if (element)
	{
		if (element.style.visibility == "visible")
		{
			element.style.visibility = "hidden";
		}
		else
		{
			element.style.visibility = "visible";
		}
	}
}