function resizeScroll(topMargin) {
	var scrollArea = document.getElementById("scroll-area");
	var scrollHeight = window.innerHeight-topMargin;
	var bodyWidth = window.innerWidth;
	var win;
		
	// Der IE kennt window.innerHeight nicht
	if(typeof window.innerHeight == 'undefined') {
		win = (document.compatMode && document.compatMode == "CSS1Compat") ? document.documentElement : document.body || null;
		scrollHeight = parseInt(win.clientHeight);
		bodyWidth = parseInt(win.clientWidth);
		scrollHeight -= topMargin;
	}
		
	// Style neu einstellen.
	scrollArea.style.height = scrollHeight+"px";
	if(bodyWidth < 1000) {
		document.body.style.width = bodyWidth+"px";
	} else {
		document.body.style.width = "1000px";
	}
}