 <!--
  function ImpostaFontSize(dimensione)
  {
      document.getElementById('LivelloModificabile').style.fontSize= dimensione;
  }
 //-->