// JavaScript Document
function setFontSize(size) {
var body = document.getElementsByTagName('html')[0];
var percentuale = "100%"; // default
if (size == 1) percentuale = "100%";
if (size == 2) percentuale = "120%";
if (size == 3) percentuale = "140%";
body.style.fontSize = percentuale;
setCookie('fontSize',size);
}