// JavaScript Document
function ingrandisci (){
document.getElementById('testo').style.fontSize = "16px";
}
function riduci (){
document.getElementById('testo').style.fontSize = "12px";
}
function origine (){
document.getElementById('testo').style.fontSize = "14px";
}