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

onload = function() {
    var 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;
}