fs = 10;

function grSize()
{
	fs  = parseInt(fs) + 1;
	document.getElementById('main_table').style.fontSize  = fs + "pt";
	if (cookiesEnabled() == 1) setCookie("fontsize", fs, 1);
}
function smSize()
{
	fs  = parseInt(fs) - 1;
	document.getElementById('main_table').style.fontSize  = fs + "pt";
	if (cookiesEnabled() == 1) setCookie("fontsize", fs, 1);
}
function nSize()
{
	fs  = 10;
	document.getElementById('main_table').style.fontSize  = fs + "pt";
	if (cookiesEnabled() == 1) setCookie("fontsize", fs, 1);
}
function setFontSize(fs)
{
	fs = parseInt(fs);
	document.getElementById('main_table').style.fontSize  = fs + "pt";
}
/* Auslesen der Cookies + Setzen der Werte */
function initStart()
{
	
	if (cookiesEnabled() == 1) 
	{		
		fs   = getCookie("fontsize");
		if(fs == null) fs = 9;
	}
	else 
	{
			fs = 9;
	}
	if (fs != 9) setFontSize(fs);
	
}

/* Cookie-Funktionen zum Merken der gesetzten Werte */

function cookiesEnabled() 
{
 	var result=3;  // undefined, if the browser does not know the property
 	if (navigator.cookieEnabled!=null) 
 	{
  		if (navigator.cookieEnabled) result=1;
  		else result=2;
 	}
 	return result;
}

function setCookie(a_name, a_value, a_lifetime) // a_lifetime in Tagen
{  
 	var now = new Date();
 	var expiry = new Date(now.getTime() + a_lifetime*24*60*60*1000);
 	var a_path = '/';
 	if ((a_value != null) && (a_value != ""))
 	{
 		document.cookie=a_name + "=" + escape(a_value) + "; expires=" + expiry.toGMTString() + '; path=' + a_path;
 	}
 	return getCookie(a_name) != null; // Test, ob es geklappt hat
}

function getCookie(a_name) 
{
 	var a_start, aus_end;
 	if (document.cookie) 
 	{
  		a_start = document.cookie.indexOf(a_name+"=");
  		if (a_start < 0) return null;
  		a_start = document.cookie.indexOf("=", a_start) + 1;
  		aus_end = document.cookie.indexOf(";", a_start);
  		if (aus_end < 0) aus_end = document.cookie.length;
  		return unescape(document.cookie.substring(a_start, aus_end));
 	}
 	else return null;
}

function showCookie(a_name) 
{
 	var input = getCookie(a_name);
 	alert(input);
}

function deleteCookie(a_name) 
{
 	var now = new Date();
 	var expired = new Date(now.getTime() - 2*24*60*60*1000);  // 2 Tage zurueck
 	document.cookie=a_name + "=null; expires=" + expired.toGMTString();
}