/* 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(s){
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;
}