// heeft getElement uit general.js nodig
function scaleIt() {	
	var h;	
	var w;
	h= window.document.body.clientHeight;		
	w= window.document.body.clientWidth;		
	if (!h) h=parseInt(window.innerHeight)+0;	
	if (!w) w=parseInt(window.innerWidth)+0;
	h-= 108; //header + foot hoogte	
	w-= 300; //menubreedte	
	getElement('container').style.height = h;	
	var mainDiv = getElement('main');
	if (mainDiv != null) 
		mainDiv.style.width = w;
}