// Funzione per modificare la dimensione del caratte cambiando il foglio di stile associato
function ModificaDimensioneCarattere(indirizoFoglioDiStile, idFoglioDiStile, nomeSessionPreference)
{	
    //alert('Indirizzo: ' + indirizoFoglioDiStile + ', idFoglio: '+ idFoglioDiStile +', nome session: ' + nomeSessionPreference + '.');
	// Definisco l'elemento corrispondente all'ID passato come parametro
	var existingElement = document.getElementById(idFoglioDiStile);	
	
	// Se l'elemento non esiste, creo il riferimento al foglio di stile, altrimenti cambio solo il riferimento stesso
	if(existingElement == null)
	{			   
		var newElement =document.createElement("link");
		newElement.setAttribute("type","text/css");
		newElement.setAttribute("rel","stylesheet");
		newElement.setAttribute("id", idFoglioDiStile); 
		newElement.setAttribute("href", indirizoFoglioDiStile);		
		document.getElementsByTagName("head")[0].appendChild(newElement);		
	}
	else
	{
		existingElement.setAttribute("href", indirizoFoglioDiStile);
	}
	
	// Imposto la variabile di sessione con lo stile selezionato per mantenere lo stile al cambio della pagina
	PTPortlet.setSessionPref(nomeSessionPreference, indirizoFoglioDiStile);
}