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