/* manipolazione del font-size in javascript con uso dei cookie */

onload=function(){
size=getCookie("fontsize");             //reperisce il cookie
if(size!=null) SetFontSize(size);       //setta le impostazioni
}

function SetFontSize(t)
{

	var s;
	if (t == "+")
	{
		if (getCookie("fontsize") == "14px" || getCookie("fontsize") == "15px")
		{
			s = "15px";	
		}
		else if (getCookie("fontsize") == "13px")
		{
			s = "14px";	
		}
		else
		{
			s = "13px";	
		}
	}
	else if (t == "-")
	{
		if (getCookie("fontsize") == "13px" || getCookie("fontsize") == "12px")
		{
			s = "12px";	
		}
		else if (getCookie("fontsize") == "14px")
		{
			s = "13px";	
		}
		else
		{
			s = "14px";	
		}
	}
	else
	{
		s = t;	
	}
	
	document.getElementsByTagName('body')[0].style.fontSize=s;
	setCookie("fontsize",s,30);
}

function setCookie(name, value, expdays) {   //memorizza il cookie
var now = new Date();
var exp = new Date(now.getTime() + (1000*60*60*24*expdays));
document.cookie = name + "=" + escape(value) + ";" + "expires=" + exp.toGMTString() + ";" + "path=/";
}

function getCookie(name) {    //restituisce il cookie
var cname = name + "=";
var dc = document.cookie;
if (dc.length > 0) {
    var start = dc.indexOf(cname);
    if (start != -1) {
        start += cname.length;
        var stop = dc.indexOf(";", start);
        if (stop == -1) stop = dc.length;
        return unescape(dc.substring(start,stop));
        }
    }
return null;
}