/**
		Tuned de hoogte van de pagina tot aan de footer. Dit kan niet met CSS omdat 
		je hier geen dynamische hoogte kunt hebben met % en px combinatie. Standaard 
		krijgt de pagina een hoogte van 80%, totdat Javascript deze finetuned in 
		actuele pixels (dus de browser kan altijd terugvallen op de 80%).
	*/
	function tunePagesize() {
		var page = document.getElementById("page");
		var footer = document.getElementById("footer");
		
		var perc = (footer.offsetTop * 100) / document.body.offsetHeight;
		page.style.height = Number(perc) + "%";
		//page.style.height = Number(footer.offsetTop) + "px";
	}
	
	// verreist fbtoglobal.js
	onWindowLoad(tunePagesize);
	setEventHandler(window, "onresize", tunePagesize);