// JavaScript Document
function controllaScroll(oggetto, pulsanteUp, pulsanteDown) {
	altezzaContenuto=parseInt(document.getElementById(oggetto).scrollHeight);
	altezzaBox=parseInt(document.getElementById(oggetto).clientHeight);
	if (altezzaContenuto<altezzaBox) {
		document.getElementById(pulsanteUp).style.visibility='hidden';
		document.getElementById(pulsanteDown).style.visibility='hidden';
	}
}
var puntatoreMovimento;
var delta=2;
var speed=5;
var objDiv;
function muoviGiu(oggetto) {
	objDiv = document.getElementById(oggetto);
	clearInterval(puntatoreMovimento);
	modificaTop(1);
	puntatoreMovimento=setInterval("modificaTop(1)",speed);
}
function muoviSu(oggetto) {
	objDiv = document.getElementById(oggetto);
	clearInterval(puntatoreMovimento);
	modificaTop(-1);
	puntatoreMovimento=setInterval("modificaTop(-1)",speed);
}
function modificaTop(direzione) {
	dimensioneBox=objDiv.scrollHeight-objDiv.clientHeight;
	if (objDiv.scrollTop<=dimensioneBox && objDiv.scrollTop>=0 )
		objDiv.scrollTop=objDiv.scrollTop+(delta*direzione);
	else
		clearInterval(puntatoreMovimento);
}
function ferma() {
	clearInterval(puntatoreMovimento);
}