/* 
   Package: SV ver 1.2
   File: fontsize.js
   Ver.: 1.0
   Date: 14.01.2006
   Desc: javascript per manipolare dimensione dei font (tramite foglio di stile e js) con memorizzazione dei
         settings su cookie.
   Note: Thanks to A.Fulciniti who have written the core of the original free script code, here modified.
*/


function SetFontOnLoad()
{
	var size=getCookie("fontsize"); //reperisce il cookie
	if(size!=null) 
	   document.getElementsByTagName('body')[0].style.fontSize = size;  	//setta le impostazioni memorizzate
	else
	   SetFontSize('12px');		//setta default (v.foglio di stile default.css) altrimenti 
					//document.getElementsByTagName('body')[0].style.fontSize la prima volta (se non c'? cookie)
					//ritorna stringa vuota (il foglio di stile definisce in "body" l'attributo font/stile,
					//evidentemente non sto leggendo l'attributo giusto... mah)
}


function SetFontSize(s)
{
   document.getElementsByTagName('body')[0].style.fontSize = s;
   setCookie("fontsize",s,365);
}

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

function EnlargeFont() 
{  //ingrandisce carattere di due punti, fino a max=16
   var size = document.getElementsByTagName('body')[0].style.fontSize.substring(0,2);
   if (size!=null && size!='')
   {
	   var n = parseInt(size,10);
	   n += 2;
	   if (n > 16) n = 16;
	   var s = n.toString() + 'px';
	   SetFontSize(s);
   }
}

function ReduceFont() 
{  //riduce il carattere di due punti, fino a min=10
   var size = document.getElementsByTagName('body')[0].style.fontSize.substring(0,2);
   var n = parseInt(size,10);
   n -= 2;
   if (n < 10) n = 10;
   var s = n.toString() + 'px';
   SetFontSize(s);
}