function cambiastile() {
	var stile;
	
	//se il browser è IE4+
	if (document.all) stile = document.styleSheets[0].rules;
	//se il browser è NN
	if  (!document.all && document.getElementById) stile = document.styleSheets[0].cssRule;
	
	if (screen.width==800 &&  screen.height==600) {
		stile[0].style.fontSize ='8pt';		//testo
        stile[1].style.fontSize ='11pt';  //titoli
		stile[2].style.fontSize ='9pt';    //sottotitoli
		stile[3].style.fontSize ='8pt';    //link (tag a)
	}
	else {
		stile[0].style.fontSize ='10pt';
		stile[1].style.fontSize ='12pt';
		stile[2].style.fontSize ='11pt';
		stile[3].style.fontSize ='10pt';    //link (tag a)
	}
}