// FUNZIONE per il cambiamento degli attributi del campo della form
// INPUT 	id_label --> l'id della label del campo di cui cambiare il colore
//		id_obj --> l'id dell'oggetto del form di cui cambiare il colore
//		color_label --> il colore di selegione della label
//		bgcolor_obj --> il colore di sfondo dell'oggetto
function roll_obj_color(id_label, id_obj, color_label, bgcolor_obj){
	if (!document.getElementById){ return; }
	else{ document.getElementById(id_label).style.color=color_label; document.getElementById(id_obj).style.backgroundColor=bgcolor_obj; }
}

// FUNZIONE che consente di settare a volo le dimensioni del font con i CSS
// INPUT: elemento --> elemento di cui cambiare le dimensione del font
// 	  dimensione --> dimensione da settare
// ESEMPIO USO: 
//	"<A href="javascript:ImpostaFontSize("box",10)">10 pixel</A>"
function ImpostaFontSize(elemento,dimensione){
	document.getElementById('elemento').style.fontSize= dimensione;
}