function setFontSizeAbs(val) {
	// val kann 0 sein (fuer Standard), oder ein positiver Wert, entsprechend dem Array unten (hier: 1 oder 2)
	
	if (!document.getElementsByTagName) return null;
	
    var fs_vals = new Array ("1em", "1.2em", "1.4em");
	
    // Abfangen von unzulaessigen val-Werten:
    v = Math.round(val);
    if (v < 0 || v > fs_vals.length-1) v = 0;
    
    document.getElementsByTagName("body")[0].style.fontSize = fs_vals[v];
    
	fs = v;
}


function createCookie(name,value,days) {
	if (days) {
	var date = new Date();
	date.setTime(date.getTime()+(days*24*60*60*1000));
	var expires = "; expires="+date.toGMTString();
	}
	else expires = "";
	document.cookie = name+"="+value+expires+"; path=/";
}

function readCookie(name) {
	var nameCookie = name + "=";
	var docCookie = document.cookie.split(';');
	for(var i=0;i < docCookie.length;i++) {
		var c = docCookie[i];
		while (c.charAt(0)==' ') c = c.substring(1,c.length);
		if (c.indexOf(nameCookie) == 0) return c.substring(nameCookie.length,c.length);
	}
	return null;
}


window.onload = function(e) {
	var fs = readCookie("fontSize");
	if (!fs) fs = 0;
	setFontSizeAbs(fs);
}

window.onunload = function(e) {
	createCookie("fontSize", fs, 365);
}