/*
 *	Setzen der Seitenhöhe -> wird von den Unterseiten im 'IFrameMain' aufgerufen
 */
function fktResize( sElementId ) {
	fktOnClickTopNav( sElementId );
	var iHeight;
	var iSpareHeight = 40; // oberer und unterer Rand (in css auf je 20 px eingestellt)
	var iWindowHeight;
	var docMain = document.getElementById("IFrameMain").contentWindow.document;
	
	if (document.body.offsetHeight) {
		// default for actual browsers
		iHeight = docMain.body.offsetHeight;
		iSpareHeight += document.getElementById("header").offsetHeight;
		iSpareHeight += document.getElementById("top_nav_content").offsetHeight;
		iSpareHeight += document.getElementById("footer").offsetHeight;
		iSpareHeight += 30;
	}
	else {
		iHeight = docMain.height;
		iSpareHeight += document.getElementById("header").height;
		iSpareHeight += document.getElementById("top_nav_content").height;
		iSpareHeight += document.getElementById("footer").height;
		iSpareHeight += 30;
	}
	
	// Bestimmung der aktuellen Fensterhöhe
	if ( typeof(window.innerHeight) == 'number' ) {
		// alle Browser außer IE
		iWindowHeight = window.innerHeight
	}
	else if ( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
		// IE 6+ im Standardmodus
		iWindowHeight = document.documentElement.clientHeight;
	}
	else if ( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
		// andere IE
		iWindowHeight = document.body.clientHeight;
	}
	
	// Anpassung an Fenstergröße
	if ( iSpareHeight + iHeight < iWindowHeight ) {
		iHeight = iWindowHeight - iSpareHeight;
	}

	// Setzen der Höhe der IFrames
	document.getElementById("IFrameMain").height = iHeight;
}

/*
 *	den aktiven TopNav-Eintrag aktiv setzen
 */
function fktOnClickTopNav( sElementId ) {
	// setze alle Top-Navigationselemente auf inaktiv
	var objElementList = document.getElementById("top_nav_content").getElementsByTagName("li");
	for ( i = 0; i < objElementList.length; i++ ) {
		objElementList[i].className = "top_nav_inactive";
	}
	// setze das selektierte Element auf aktiv
	document.getElementById(sElementId).className = "top_nav_active";	
}