<!--
sfHover = function() {
	var sfEls = document.getElementById("navi").getElementsByTagName("li");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);
//-->


// Aktuelle Hoehe holen
function getHeight() {
	var myWidth = 0, myHeight = 0;

	if( typeof( window.innerWidth ) == 'number' ) {
		//Non-IE
		myWidth = window.innerWidth;
		myHeight = window.innerHeight;
	} else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
		//IE 6+ in 'standards compliant mode'
		myWidth = document.documentElement.clientWidth;
		myHeight = document.documentElement.clientHeight;
	} else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
		//IE 4 compatible
		myWidth = document.body.clientWidth;
		myHeight = document.body.clientHeight;
	}
	//return [ myWidth, myHeight ];
	return myHeight;
}


// div Hoehen per css Anpassung variabel setzen
// <![CDATA[
function changeProp() {
	
	myHeight = getHeight();
	
	var contentHeightMain = myHeight - 202 + "px";
	var contentHeightSpalte = myHeight - 218 + "px";
	
	with (document.getElementById("maincontent")) {
		style.height = contentHeightMain;
	}
	with (document.getElementById("spalte")) {
		style.height = contentHeightSpalte;
	}
}
// ]]>