// Dit script zorgt er voor dat de breedte van het scherm nooit minder dan 860px wordt.
<!--

function checkSize(){
  var width;
  var height;
  if(document.layers) {
    width = window.innerWidth;
    height = window.innerHeight;
  } 
  else {
    width = document.body.clientWidth;
    height = document.body.clientHeight;
  } 
  
  //if((width < 860)||(height < 625)){
    //setTimeout("resizeOuterTo(860,625)",200);
  if(width < 860){
    setTimeout("resizeOuterTo(860, 625)",200);
  }
}

function resizeOuterTo(w,h) {
  if (parseInt(navigator.appVersion)>3) {
    if (navigator.appName=="Netscape") {
      top.outerWidth=w;
      top.outerHeight=h+40;
    } 
	else{
      top.resizeTo((w+12),(h+30));
    }
  }
}


window.onresize= function() {	
    checkSize();
    return true;
}
window.onerror= function() {	
    checkSize();
    return true;
}


-->
