// Imposto il foglio stile e dimensione caratteri

  {
			document.writeln("<link rel=\"stylesheet\" type=\"text/css\" href=\"css/Default.css\" title=\"Default\" >");
			document.writeln("<link type=\"text/css\" rel=\"alternate stylesheet\" href=\"css/High.css\" title=\"High\">");
	}
		
			
			
	function setFontSize(value, ambiente) {
		theStyle = null;
		if (value == "sma") theStyle 	= "70%";
		if (value == "med") theStyle 	= "80%";
		if (value == "lar") theStyle 	= "100%";
		if (theStyle) 
			document.getElementsByTagName("body")[0].style.fontSize = theStyle;
	

        if (ambiente == "...") 
            {

            /* Se ho cambiato solo l'ambiente e non la dimensione dei caratteri, occorre
               rilevare il cookie, leggere la dimensione del carattere e riscriverla unitamente al tipo ambiente */
   
            cookies = document.cookie;
            posStile = cookies.indexOf("tipoStile=");
    
            if (posStile>-1) 
            {
                fineStile = posStile+"tipoStile=".length; 
                nuovoAmbiente = cookies.slice(fineStile,fineStile+2);
            } else {
                nuovoAmbiente = "00";
            }
        }
	    
	    scriviCookie(nuovoAmbiente, value)
	}
	
	
	function setFontSizeBis(value) {
		theStyle = null;
		if (value == "sma") theStyle 	= "70%";
		if (value == "med") theStyle 	= "80%";
		if (value == "lar") theStyle 	= "100%";
		if (theStyle) 
			document.getElementsByTagName("body")[0].style.fontSize = theStyle;

	}
//