/*
	Ich habe leider keinen einfachen Weg gefunden die aktuelle Groesse des Body-Elementes
	zu berechnen. Ich habe deswegen hier es einfach reingeschrieben, was in den css
	Dateien steht. 75% ist die standard-groesse und sie ist auch die Mindestgroesse.
	Mit den unten stehenden Methoden kann man die Groesse um 10 prozent veraendern.
	Dabei wird ein Cookie gesetzt. Beim initialisieren wird noch ueberprueft ob ein
	Cookie existiert. Wenn ja - wird sein Wert als Fontsize uebernommen.

	Am Ende kurz vor dem </body> muss das aufgerufen werden:

	<script>
	wcms_fontsize_init();
	</script>

	Die Datei cookies.js ist noetig fuer die cookies.
*/
var wcms_base_fontsize = 75;
var wcms_min_fontsize = 75;
var wcms_fontsize_cookiename = 'WCMS_FONTSIZE';

function wcms_fontsize_init()
{
	new_size = cookieManager.getCookie(wcms_fontsize_cookiename);
	if (new_size > wcms_min_fontsize)
	{
		document.lastChild.lastChild.style.fontSize = new_size + '%';
		wcms_base_fontsize = new_size;
	}
}

function wcms_fontsize_up()
{
	// wenn ich einen + verwende, wird es manchmal als Konkatenation interpretiert. Aber nicht immer.
	// Mit einem minus gehts scheinbar immer.
	// HACK!!!
	new_size = wcms_base_fontsize - (-10);
	document.lastChild.lastChild.style.fontSize = new_size + '%';
	wcms_base_fontsize = new_size;
	cookieManager.setCookie(wcms_fontsize_cookiename, new_size);
}

function wcms_fontsize_down()
{
	new_size = wcms_base_fontsize - 10;
	if (new_size < wcms_min_fontsize)
	{
		new_size = wcms_min_fontsize;
	}
	document.lastChild.lastChild.style.fontSize = new_size + '%';
	wcms_base_fontsize = new_size;
	cookieManager.setCookie(wcms_fontsize_cookiename, new_size);
}