/* 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;

if (document.getElementById("col-articoli-p")) {
if (s=="90%"){
//document.getElementById("col-articoli-p").style.marginTop="1px";
//document.getElementById("riga-1").style.height="318px";
}

if (s=="100%"){
//document.getElementById("col-articoli-p").style.marginTop="30px";
//document.getElementById("riga-1").style.height="348px";
}

if (s=="110%"){
//document.getElementById("col-articoli-p").style.marginTop="32px";
//document.getElementById("riga-1").style.height="375px";
}
}

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;
}