// Set the main content (#inhalt) to the right height
function hoeheInhalt()
{
		
	var fensterHoehe    = window.getInnerHeight();
	var containerHoehe 	= $("container").getHeight();
  var headerHoehe     = $("header").getHeight()+5;
  var footerHoehe     = $("foot").getHeight();
	var leftheader		= $("head").getHeight();
  var inhalt          = $("inhalt");

  var containerNewHeight = fensterHoehe - 40;

	var rechtsHoehe = containerNewHeight - parseInt(headerHoehe);
	var linksHoehe = containerNewHeight - ( parseInt(headerHoehe)  + parseInt(leftheader) + parseInt(footerHoehe) );

	$('inhaltlinks').style.height = linksHoehe  + 'px';
	$('inhaltrechts').style.height = rechtsHoehe + 'px';
	$('container').style.height = containerNewHeight + 'px';
	if ($('buerocontent')) {
	   $('buerocontent').style.height = (rechtsHoehe - $('buerospace').getHeight() ) + 'px';
	}
    //Redraw Footer
    //omportan of Bug in Firefox 3.0 RC1
	if (navigator.userAgent.indexOf("IE") >= 0){ 
        //IE
        $('shadow_bottom').style.bottom = '-24px';	
    } else {
        //Others
        $('shadow_bottom').style.bottom = '-20px';
    }   
}

// Höhe des mittleren <DIV>-Tags beim Laden der seite und Ändern der
// Fenstergröße setzen

Event.observe( window, 'load', 	hoeheInhalt );
Event.observe( window, 'resize', hoeheInhalt );

// checks whether a value of a valiable is empty. Works like php's empty()
function empty( mixed_val )
{
   if (
        mixed_val == ""
     || mixed_val == null
     || mixed_val == undefined
      )
      return true;

   return false;
}