// JavaScript Document

// speed: variabile per impostare la velocità di scroll
var speed = 1;

// jump: variabile per impostare il salto di scroll al click
var jump = 50;

// t: variabile che riceve il set del timeout
var t;

// t_speed: variabile che regola il tempo di timeout, cioè ogni quanti millisecondi viene scrollato il div
var t_speed = 60;

//-------------------------------------------------------------------------------------------------------------
// La funzione viene richiamata ogni t_speed millisecondi fino a quando non viene
// resettato il tempo di Timeout con la funzione stop_scroll().
//
function scroll_down(div_id)
{
	var div = document.getElementById(div_id);
	var i = div.scrollTop;

	if (div.scrollTop < (div.scrollHeight - div.clientHeight ) ) 
	{
		i = i + speed;
		div.scrollTop = i;
	}

	t = setTimeout("scroll_down('"+div_id+"')", t_speed);
}

//-------------------------------------------------------------------------------------------------------------
// Scroll del testo contenuto nel div (con id contenuto nel parametro div_id) verso il basso
// di una quantità pari al valore settato nella variabile jump.
//
function click_scroll_down(div_id)
{
	var div = document.getElementById(div_id);
	var i = div.scrollTop;

	if (div.scrollTop < (div.scrollHeight - div.clientHeight ) ) 
	{
		i = i + jump;
		div.scrollTop = i;
	}
}

//-------------------------------------------------------------------------------------------------------------
// Scroll del testo contenuto nel div (con id contenuto nel parametro div_id) verso l'alto.
// La funzione viene richiamata ogni t_speed millisecondi fino a quando non viene resettato il tempo
// di Timeout con la funzione stop_scroll().
//
function scroll_up(div_id)
{
	var div = document.getElementById(div_id);
	var i = div.scrollTop;
	if (div.scrollTop > "0" )
	{
		i = i - speed;
		div.scrollTop = i;
	}
	t = setTimeout("scroll_up('"+div_id+"')", t_speed);
}

//-------------------------------------------------------------------------------------------------------------
// Scroll del testo contenuto nel div (con id contenuto nel parametro div_id) verso l'alto
// di una quantità pari al valore settato nella variabile jump.
//
function click_scroll_up(div_id)
{
	var div = document.getElementById(div_id);
	var i = div.scrollTop;

	if (div.scrollTop < (div.scrollHeight - div.clientHeight ) ) 
	{
		i = i - jump;
		div.scrollTop = i;
	}
}

//-------------------------------------------------------------------------------------------------------------
// Reset del tempo di ripetizione della funione di scroll attiva
//
function stop_scroll()
{
	clearTimeout(t);
}