// Gestione delle informazioni su Layout scelto dall'utente

            function scriviCookie (layout, dimFont)
                {
                dataFutura=new Date(); /*creo la data di oggi*/

                /* prendiamo l'anno della data odierna tramite 
                   il metodo "getFullYear" e gli aggiungiamo "1" */
                dataAnnoProssimo = dataFutura.getFullYear()+1; 

                /* partendo dalla data di oggi, inseriamo la data 
                   del prossimo anno, grazie al metodo "setFullYear"
                   (che accetta - appunto - come argomento l'anno 
                   da impostare) */
                dataFutura.setFullYear(dataAnnoProssimo); 

                /* convertiamo la data in una stringa adatta 
                   ad essere espressa nel cookie */
                dataFutura=dataFutura.toUTCString(); 
                
                /* Aggiungo il tipo di carattere (small, medium e bigger!)*/
                dimCarattere = dimFont;
                
                if (dimCarattere == "...") 
                {
               
                /* 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; 
                        dimCarattere = cookies.slice(fineStile+2,fineStile+5);
                    } else {
                        dimCarattere= "Med";
                    }
                }
                       
                /* A questo punto creiamo una stringa che contenga 
                   il valore del cookie. Notare che i valori della data 
                   e del layout sono variabili. Tutto il resto è "fisso".*/ 
                contenutoCookie="tipoStile="+layout+dimCarattere+"; expires="+dataFutura+ "; path= ;"; 

                /* assegniamo al cookie il valore desiderato*/
                document.cookie=contenutoCookie; 

                /* A questo punto verifichiamo che il cookie 
                   sia stato effettivamente scritto: il metodo 
                   "indexOf()" delle stringhe restituisce "-1" se 
                   la stringa cercata non è presente, altrimenti 
                   restituisce la posizione della stringa.
                   Nelle righe seguenti cerchiamo dunque la posizione 
                   del nome del cookie ("tipoStile") che abbiamo appena 
                   scritto. Se il valore della posizione è uguale a "-1"
                   il cookie non è presente, e quindi il browser dell'utente
                   non è abiliato per ricevere i cookie */
                if (document.cookie.indexOf("tipoStile=")==-1)
                {
                  alert ("Attenzione! devi abilitare i cookie!"); 
                }

                /* l'istruzione seguente esegue il refresh della pagina. 
                   Se nella pagina sono presenti le istruzioni necessarie 
                   a leggere il valore del cookie e impostare il layout, 
                   lo stile scelto viene caricato. */
                
                self.location.reload();
            }
            

           function leggiCookie()
            {
                cookies = document.cookie;

                /* ricerchiamo all'interno del cookie del documento, 
                   la stringa "tipoStile=" e assegniamo il valore 
                   della sua posizione alla variabile "posStile" */
                posStile = cookies.indexOf("tipoStile="); 

                /* se la stringa "tipoStile=" è presente 
                   (perché maggiore di "-1")...*/
                if (posStile>-1) 
                {

                /* cerchiamo il punto in cui finisce la stringa 
                   "tipostile="; per farlo prendiamo la posizione in 
                   cui si trova l'inizio di "tipoStile=" e gli aggiungiamo 
                   la lunghezza della stessa stringa "tipoStile=" */
                fineStile = posStile+"tipoStile=".length; 
                
                /* Qui di seguito creiamo la variabile "stileScelto" 
                   che ci permette di individuare la scelta dell'utente.
                   Il metodo "slice()" serve per estrarre la parte di una
                   stringa, e ha come argomenti il punto di inizio e il 
                   punto finale */

                /* "2" era la lunghezza della nostra variabile "layout"
                   ("layout" poteva aver valore "00", "01", "02", ecc.); 
                   estraiamo una sottostringa composta dalla posizione 
                   finale di "tipoStile=" e dalla lunghezza della 
                   variabile. Dopodiché assegniamo il valore trovato 
                   a "stileScelto" */
                stileScelto = cookies.slice(fineStile,fineStile+2); 
                dimCarattere = cookies.slice(fineStile+2,fineStile+5);
                
                } else {

                /* in ogni caso - anche se "tipoStile non è presente" 
                   - assegniamo a stileScelto il valore di "00". 
                   Così, se il cookie non è trovato, viene assegnato di 
                   default questo valore. */
                
                    stileScelto="00"; 
                    dimCarattere= "Med";
              
                    scriviCookie(stileScelto, dimCarattere)
                    
                }
                
                setFontSizeBis(dimCarattere);
                
                if (stileScelto=='00') {
                    templateChange('Default');
                } else {
                    templateChange('High');
                }
        }

//	