// JavaScript Document
// per scorrimento verticale box

step=8   // velocità scorrimento
timer=null

function scorri(d){
  document.getElementById("scrollbox_int").scrollTop +=(d==0?-step:step)
  timer=setTimeout("scorri("+d+")",64)
}

function clear_scorri(){
  clearTimeout(timer)
}