//
// Variablen initialisieren.
//
FensterHoehe = 0;    // Nimmt die Höhe des Browserfensters auf. Mit 0 vorbelegen.
MinHoehe     = 446;  // Mindesthöhe des Inhaltsbereichs.
KopfHoehe    = 110;  // Die Höhe des Kopfbereiches der Seite.


//
// Prüfe, ob der Browser die Standard- oder die IE-Methode zur Bestimmung der Breite des Anzeigebereichs kennt.
// Oder keine, dann kann der Rand nicht gesetzt werden.
//
function HoeheErkennen ()
{
  if ( isNaN ( window.innerHeight ) && isNaN ( document.body.offsetHeight ) )
  {
    // Der Browser kennt keine der beiden Methoden zur Bestimmung der Höhe des Anzeigebereichs. Also ist hier nichts zu tun.
  }
  else
  {
    //
    // Der Browser kennt mindestens eine der beiden Methoden. Also stelle fest, welche genau das ist.
    // Beim Explorer müssen noch 4 Pixel abgezogen werden ... warum auch immer!!!
    //
    if ( isNaN ( window.innerHeight ) )
    {
      FensterHoehe = document.body.offsetHeight - 4;  // Explorer-Methode
    }
    else
    {
      FensterHoehe = window.innerHeight;  // Standard-JavaScript
    }
  }

  //
  // Berechne die Höhe des Textbereiches als Fensterhöhe - Kopfbereich
  //

  if ( FensterHoehe != 0 )
  {
    InhaltHoehe = FensterHoehe - KopfHoehe;
    if ( InhaltHoehe < MinHoehe ) InhaltHoehe = MinHoehe;
  }
}


//
// Diese Funktion wird am Ende der HTML-Seite über einen Timeout immer wieder aufgerufen, damit bei einer Änderung der Fenstergröße (z. B. Umschaltung
// zwischen Fenster und Vollbild) der Rand angepasst wird. Der Timeout darf erst am Ende der HTML-Datei gesetzt werden, weil sonst die DIV's, auf die
// sich die folgenden Anweisungen beziehen, noch nicht existieren.
//
function HoeheAnpassen ()
{
  HoeheErkennen ();

  if ( navigator.appName == "Microsoft Internet Explorer" && navigator.userAgent.lastIndexOf("Opera") == -1 )
  {
    document.getElementById("inhalt").style.height = InhaltHoehe + "px";
  }
  else
  {
    document.getElementById("inhalt").style.height = "auto";
    document.getElementById("inhalt").style.minHeight = InhaltHoehe + "px";
  }
}