function Resize4Minfontsize(){
	
	//Site heeft een minimum fontgrootte van 62.5% ->
	//	hiervoor moeten we middels css wel voor zorgen door alle fonts >1em te maken
	
	//Eerst maar kijken wat de browser als minimale grootte aankan
	var minBrowserFontSize= document.getElementById('minfontsize_minsize').offsetHeight;
	
	//Nu eens kijken wat de defaultfontgrootte van de browser is
	var defBrowserFontSize= document.getElementById('minfontsize_defsize').offsetHeight;			
  
  if (defBrowserFontSize<11) { // Google Chrome heeft standaard grootte van 10 px;
	  //alert ("Font too smal");
	  document.body.style.fontSize="160%";
	  return;
	}
	
	//Minimale fontgrootte die gebruikt wordt (H4 in common.css) is 62.5% van defaultfontgrootte
	var minWebsiteFontSize= defBrowserFontSize * 0.625;
		
	//alert (minBrowserFontSize + " - " + defBrowserFontSize + " - "+ minWebsiteFontSize);
	var scaleFactor=minBrowserFontSize/minWebsiteFontSize;
	
	if (scaleFactor<=1) {
	  //alert ("NOresize " + scaleFactor);
	  return;
	} else {	
	  // Herschaal minWebsiteFontSize naar minBrowserFontSize
	  var scaleFactorStr=100*scaleFactor+ "%"
	  //alert ("Resize "+scaleFactorStr);
	  document.body.style.fontSize=scaleFactorStr;
	  //alert ("Resized ");
	
	  return;
	}
}