/* textFontSize.js - copyright 2010, Francesco Esposito 
Questo script consente di variare la dimensione del carattere per quanto identificato da "LivelloModificabileX"
*/
function ImpostaFontSize(dimensione)
{
	LivelloModificabile.style.fontSize = dimensione;
	LivelloModificabile2.style.fontSize = dimensione;
	LivelloModificabile3.style.fontSize = dimensione;
	LivelloModificabile4.style.fontSize = dimensione;
	LivelloModificabile5.style.fontSize = dimensione;
	LivelloModificabile6.style.fontSize = dimensione;
	LivelloModificabile7.style.fontSize = dimensione;
	LivelloModificabile8.style.fontSize = dimensione;
	LivelloModificabile9.style.fontSize = dimensione;
	LivelloModificabile10.style.fontSize = dimensione;
}