// JScript-Datei fuer Fenstergroessenanpassung

var GR;
var Hoehe;
var Breite;

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

function  Fensterbreite()
{
	if(window.innerWidth)
		return window.innerWidth;
	else
	{
		if(document.body.offsetWidth)
			return document.body.offsetWidth;
		else
			return 0;
	}
}  
   
function Resize()
{
	if(GR==0 && (Hoehe!=Fensterhoehe() || Breite!=Fensterbreite()))
	{	
		Hoehe=Fensterhoehe();
		Breite=Fensterbreite();
		var Inhalt=document.getElementById("Inhalt");
		var Kopf=document.getElementById("Inhalt").offsetTop;
		var Fuss=document.getElementById("Fuss").offsetHeight;
		var i=Hoehe;
		i=i-Fuss;
		i=i-Kopf;
		if(i>10)
		{
			GR=1;
			Inhalt.style.height=i+'px';
			GR=0;
		}
	}
}

function Init()
{
	if(!window.Hoehe && ((document.body && document.body.offsetHeight)|| window.innerHeight))
	{
		Hoehe=0;
		Breite=0;
		GR=0;
		window.onresize=Resize;
		Resize();
	}
}