/* 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;
document.getElementsByTagName('div')[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;
}