function Fensterhoehe () {
  if (window.innerHeight) {
    return window.innerHeight;
  } else if (document.body && document.body.offsetHeight) {
    return document.body.offsetHeight;
  } else {
    return 0;
  }
}



function Fensteranpassen(){

	var fh = Fensterhoehe();
	if (fh > 0 ){
		fh = fh / 100 * 95;
		document.getElementById('hauptinhalt').style.height= (fh -190) + 'px';
	
	}

}