// Höhe bei wenig Inhalt anpassen
function fixHeight () {
  window.onresize = fixHeight;
  // document.all:          Wird von IE und Opera verstanden
  // window.opera:          Wird nur von Opera verstanden
  // window.XMLHttpRequest: IE versteht es ab Version 7
  if (document.all && !window.opera && !window.XMLHttpRequest) {
    // => IE6
    var windowheight = document.documentElement.clientHeight;
    var minheight = windowheight-213;
    document.getElementById("wrapper").style.height = minheight+"px";
  } else {
    // => anderer Browser
    var windowheight = window.innerHeight;
    // Fensterhöhe im IE ermitteln
    if (windowheight==NaN||windowheight==undefined) {
      windowheight = document.documentElement.clientHeight;
    }
    var minheight = windowheight-213;
    document.getElementById("wrapper").style.minHeight = minheight+"px";
  }
}

// sfHover-Pseudoklasse für Browser ohne "hover" hinzufügen
sfHover = function() {
	var sfEls = document.getElementById("menu").getElementsByTagName("LI");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);