// -- questa funzioncina si occupa di mettere a posto dinamicamente la larghezza di alcuni elementi determinanti per 
//    il layout della pagina
//	  alla fine ho scelto di non usarla, la lascio per ricordo, nel senso che può tornare comodo
//    per ricordare come si fa a definire delle funzioni aggiuntive direttamente dallo script e non 
//    dalla pagina stessa
// 
//
/*
function adjustElements() {
var availWd = document.body.clientWidth;	
var swidth1 = window.innerWidth;
var i, elem, divs = document.getElementsByClassName("cast-content-r"); 

	availWd -= (250 + 300 + 150);  // alla larghezza disponibile sottraggo (la fascia sinistra, la destra e un valore integrativo)
	
	if (availWd < 400) availWd = '400px'
	else availWd += 'px';
	
	for (var i = 0; i < divs.length; i++) divs[i].style.width = availWd;
	
	// document.title = 'screen: ' + screen.width;
}

function castOnLoad() {
	//adjustElements();

	//
	// -- questo pezzettino prendeva provvedimenti particolari per IE
	//    non mi piaceva il funzionamento ma lo lascio perchè potrebbe tornare comodo
	//
	//if (jQuery.browser.msie) {
	//	jQuery('body').css("font-size","x-small");
	//	}
}

window.onresize = adjustElements;
window.onload = castOnLoad;

*/