var pagina_body_iniziale = "storia.htm";
var near_button_iniziale = "NB0";
var link_selezionato_iniziale = "link0";
var colore_sfondo = "#DADADA";
var colore_menu = "#0B5A9B";
var carattere_piccolo = "12pt";
var carattere_grande = "14pt";

function inizializza()
{
	/* spazio grigio a fianco del bottone selezionato al caricamento della pagina ... */
	document.getElementById(near_button_iniziale).style.backgroundColor = colore_sfondo;

	/* ... memorizzo il nome del bottone in un campo hidden */
	document.getElementsByName("attivo")[0].value = near_button_iniziale;

	/* testo ingrandito per il bottone selezionato al caricamento della pagina ... */
	document.getElementById(link_selezionato_iniziale).style.fontSize = carattere_grande;

	/* ... memorizzo il nome del link ingrandito in un campo hidden */
	document.getElementsByName("linkselezionato")[0].value = link_selezionato_iniziale;

	/* carico la pagina iniziale */
	parent.document.getElementById("body").src=pagina_body_iniziale;
}

function testoEvidenziato(par)
{
	/* ingrandisco il carattere del link */
	document.getElementById(par).style.fontSize=carattere_grande;

	/* scelgo l'icona della "manina" per il cursore */
	document.getElementById(par).style.cursor="pointer";

	/* scelgo il carattere corsivo per il link in esame */
	document.getElementById(par).style.fontStyle="italic";
}

function testoNormale(par)
{
	/* ripristino il tipo di carattere normale */
	document.getElementById(par).style.fontStyle = "normal";

	/* se il parametro della funzione coincide con il link attivo esco ... */
	if(par==document.getElementsByName("linkselezionato")[0].value) return;

	/* ... altrimenti rimpicciolisco anche il carattere del link */
	document.getElementById(par).style.fontSize = carattere_piccolo;
}

function goto(par1, par2)
{
	cambiaColore(par2);
	parent.document.getElementById("body").src=par1;
}

function naviga(url)
{
	window.open(url);
}

function cambiaColore(par)
{
	var prec = document.getElementsByName("attivo")[0].value;
	/* colore del menų a fianco del bottone selezionato precedentemente ... */
	document.getElementById(prec).style.backgroundColor = colore_menu;
	document.getElementsByName("attivo")[0].value = par;
	/* colore dello sfondo a fianco del bottone ora selezionato ... */
	document.getElementById(par).style.backgroundColor = colore_sfondo;
}

function ingrandisciCarattere(par)
{
	var prec = document.getElementsByName("linkselezionato")[0].value;
	/* ripristino il carattere normale per il link selezionato in precedenza */
	document.getElementById(prec).style.fontSize = carattere_piccolo;
	document.getElementsByName("linkselezionato")[0].value = par;
	/* imposto il carattere pių grande per il link ora selezionato */
	document.getElementById(par).style.fontSize = carattere_grande;
}