function fix_safari() {
	objmaintable = document.getElementById('maintable');
	objtoptable = document.getElementById('toptable');
	objgroen = document.getElementById('menu_groen');
	objgroen.style.height=(objmaintable.offsetHeight - 115) + 'px';
	objblauw = document.getElementById('menu_blauw');
	objblauw.style.height=(objmaintable.offsetHeight - 115) + 'px';
	objrood = document.getElementById('menu_rood');
	objrood.style.height=(objmaintable.offsetHeight - 115) + 'px';
}

function initsite() {
	if (is_safari) { fix_safari();}
}