// JavaScript Document

var contentobj = document.getElementById ? document.getElementById("content") : document.all.content;
var htmlcontentobj = document.getElementById ? document.getElementById("htmlcontent") : document.all.htmlcontent;
var containerobj = document.getElementById ? document.getElementById("container") : document.all.container;
var scrollcontainerobj = document.getElementById ? document.getElementById("scrollcontainer") : document.all.scrollbar;
var scrollerobj = document.getElementById ? document.getElementById("scroller") : document.all.scroller;
var scrollbarobj = document.getElementById ? document.getElementById("scrollbar") : document.all.scrollbar;
var bodyobj = document.getElementsByTagName("body")[0];
var scrollerbottomoffset = 10; //damit der scroller nicht direkt am seitenende endet.
var flashcontentobj = document.getElementById ? document.getElementById("flashcontent") : document.all.flashcontent;

function setHeight(){
	
	htmlcontentobj.style.display = 'block';

	/*
    screenheight = bodyobj.offsetHeight;
    screenwidth = bodyobj.offsetWidth;
    htmlcontentobjtop = htmlcontentobj.offsetTop;
    htmlcontentobj.style.height = (screenheight - htmlcontentobjtop) + 'px';
    htmlcontentobjheight = htmlcontentobj.offsetHeight;
    
    containerobjtop = parseInt(containerobj.offsetTop);
    var containerobjparent = containerobj.offsetParent;
    while (containerobjparent) {
        containerobjtop += parseInt(containerobjparent.offsetTop);
        containerobjparent = containerobjparent.offsetParent;
    }
    
    containerobj.style.height = (parseInt(screenheight) - parseInt(containerobjtop) - parseInt(scrollerbottomoffset)) + 'px';
    //alert(screenheight+" - "+containerobjtop+" - "+scrollerbottomoffset+" = "+containerobj.offsetHeight);
    scrollcontainerobj.style.height = (parseInt(screenheight) - parseInt(containerobjtop) - parseInt(scrollerbottomoffset)) + 'px';
    scrollbarobj.style.height = (parseInt(screenheight) - parseInt(containerobjtop) - parseInt(scrollerbottomoffset)) + 'px';
    */
}

if (containerobj) {
    document.onload = setHeight();
    window.setInterval("setHeight()", 50);
}