/* Funktionen um Schriftgröße zu verändern */
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;
    	}
	}
  	// in Cookie schreiben:
	document.cookie = "activestylesheet=" + title;
}

function MM_rollOver(obj,nSrc,oSrc) {
	this.obj = document.getElementById(obj);
	this.obj.nSrc = nSrc;
	this.obj.oSrc = oSrc;
	this.obj.onmouseover = MM_rollOver_over;
	this.obj.onmouseout = MM_rollOver_out;
}

function MM_rollOver_over() {
	this.src = this.oSrc;
}

function MM_rollOver_out(){
	this.src = this.nSrc;
}