// JavaScript Document
// ringrazio constile.org

function setFontSize(size) {
	var body = document.getElementsByTagName('body')[0];
	if (size == 1) percentuale = "80%";
	if (size == 2) percentuale = "120%";
	body.style.fontSize = percentuale;
}