/* Funktion, die ein Stylesheet setzt */

function setActiveStyleSheet(title) {
  var i, a, main;
  for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
    if(a.getAttribute("rel").indexOf("style") != -1 && a.getAttribute("title")) {
      a.disabled = true;
      if(a.getAttribute("title") == title) a.disabled = false;
    }
  }
}


/* Funktion, die die Fensterbreite ermittelt
   und dabei die Unterschiede zwischen IE und
   anderen Browsern berücksichtigt */

function Fensterbreite () {
  if (document.body && document.body.offsetWidth) {
    return document.body.offsetWidth;
  } else if (window.innerWidth) {
    return window.innerWidth;
  } else {
    return 0;
  }
}


/* Funktion, die den Namen des je nach Fensterbreite
   bevorzugten Stylesheets zurückgibt */

function getPreferredStyleSheet() {
  if (Fensterbreite() > 1024) {
    return "Großer Bildschirm";
  } else {
    return "Kleiner Bildschirm";
  }
}


/* Hauptfunktion, die das Ganze auslöst,
   wenn die Seite in den Browser geladen wird */

window.onload = function(e) {
  var title = getPreferredStyleSheet();
  setActiveStyleSheet(title);
}




/* Funktion, die dasselbe auslöst,
   wenn die Größe des Fensters geändert wird */

window.onresize = function(e) {
  if(navigator.appName != "Microsoft Internet Explorer") {
    var title = getPreferredStyleSheet();
    setActiveStyleSheet(title);
  }
}

/*
Diese hübsche Funktion ist für alle IE derzeit abgeschaltet,
da sich IE 6.0 aufhängt, wenn man das Fenster von Hand
in eine Breite von über 1024 Pixeln zieht.
(Vielleicht ein Bug, der den IE genau an der Grenze
in eine Endlosschleife schickt?)
Und ich habe noch keine anderen IE testen können.
Firefox 3.0 jedenfalls hat keine Probleme.
*/

/* ----------------------------------------------------- */
/* Hier kommt eine Funktion, die gar nicht dazugehört    */

function letzteAenderung() {
          var aend = new Date(document.lastModified);
          var Jahr = aend.getYear();
          if (Jahr < 1000) Jahr = Jahr + 1900;
          var Monat = aend.getMonth() + 1;
          var Monate = Monat.toString();
          Monate = "0" + Monate;
          var anfang = Monate.length - 2;
          Monate = Monate.substr(anfang, 2);
          var Tag = aend.getDate();
          var Tage = Tag.toString();
          Tage = "0" + Tage;
          var anfang = Tage.length - 2;
          Tage = Tage.substr(anfang, 2);
          document.write("letzte Änderung dieser Seite: " + Tage + "." + Monate + "." + Jahr);
}