var initial_font_size = 0.8;
        var font_unity = 'em';
        var delta = 0.1;
        var fsize = initial_font_size;
        
        // Initialisierung der Schriftgroesse auf in der URL uebergebene, die der Funktion
        // uebergebene bzw. oben angegebene Standardgroesse (falls keine Parameter uebergeben
        // wurden)
        function init_FontSize (ifs, fu, del)
        {
        	if (!isNaN(ifs))
        		initial_font_size = parseFloat(ifs);
        	if ("pt,pc,in,mm,cm,px,em,ex,%".indexOf (fu) != -1)
        		font_unity = fu;
        	if (!isNaN(del))
        		delta = parseFloat(del);
        	if (isNaN(parseFloat(document.getElementsByTagName('body')[0].style.fontSize)) || parseFloat(document.getElementsByTagName('body')[0].style.fontSize) == 0)
        		fsize = getFontSize ();
        	else
        		fsize = parseFloat(document.getElementsByTagName('body')[0].style.fontSize);
        	if (fsize != initial_font_size)
        		addFontSizeToLinks ();
        	document.getElementsByTagName('body')[0].style.fontSize = fsize + font_unity;
        }
        
        // Schriftgroesse um delta erhoehen
        function incFontSize ()
        {
        	if (!isNaN(delta))
        		setFontSize (Math.round((parseFloat(fsize) + parseFloat(delta)) * 100) / 100);
        }
        
        // Schriftgroesse um delta verkleinern
        function decFontSize ()
        {
        	if (!isNaN(delta))
        		setFontSize (Math.round((parseFloat(fsize) - parseFloat(delta)) * 100) / 100);
        }
 
        // Schriftgroesse auf normal setzen
        function defFontSize ()
        {
        	if (!isNaN(delta))
        		setFontSize ('1.0');
        }
        
        // Schriftgroesse um delta veraendern
        function setFontSize (newsize)
        {
        	if (!isNaN(newsize))
        	{
        		fsize = Math.round((parseFloat(newsize)) * 100) / 100;
        		document.getElementsByTagName('body')[0].style.fontSize = fsize + font_unity;
        		addFontSizeToLinks ();
        	}
        }
        
        // Eingestellte Schriftgroesse aus der URL auslesen bzw. Standardwert fuer die
        // Schriftgroesse liefern
        function getFontSize ()
        {
        	var fs;
        
        	if (document.location.search != "" && (document.location.search).match (/fsize=[0-9]+\.?[0-9]*/i))
        		fs = ("" + (document.location.search).match (/fsize=[0-9]+\.?[0-9]*/i)).replace (/fsize=/i, '');
        	else
        		fs = initial_font_size;
        	return fs;
        }