/* AM 060412 funzioni differenziate per IE e per FF, in modo da poter impostare sfondi diversi senza usare immagini */

var altezzaMinima=500;

function impostaAltezza() {
	if(document.getElementById) {
		if (navigator.userAgent.toLowerCase().indexOf('msie')!=-1) impostaAltezzaIE();
		else impostaAltezzaFF();
	}
}

function impostaAltezzaFF() {
	document.getElementById("corpo-colonna1").style.height="auto";
	//document.getElementById("corpo-colonna3").style.height="auto";
	altezza=Math.max(altezzaMinima, document.getElementById("corpo-colonna1").offsetHeight);
	document.getElementById("corpo-colonna2").style.minHeight=altezza+"px";
	altezza=Math.max(altezza, document.getElementById("corpo-colonna2").offsetHeight);
	document.getElementById("corpo").style.height=altezza+"px";
	document.getElementById("corpo-colonna1").style.height="100%";
	//document.getElementById("corpo-colonna3").style.height="100%"; 
}

function impostaAltezzaIE() {
	document.getElementById("corpo-colonna1").style.height="auto";
	//document.getElementById("corpo-colonna3").style.height="auto";
	altezza=Math.max(altezzaMinima, document.getElementById("corpo-colonna1").offsetHeight);
	document.getElementById("corpo-colonna2").style.height=altezza+"px"; 
	// height: 100% non funziona in IE6 :(
	altezza=Math.max(altezza, document.getElementById("corpo-colonna2").offsetHeight);
	document.getElementById("corpo-colonna1").style.height=altezza+"px";
	//document.getElementById("corpo-colonna3").style.height=altezza+"px";
}