/**********************************************************************************
Guida :

Questo script realizza un box scorrevole dal basso verso l'alto di notizie .
L'effetto rotazione avviene quando il mouse non è posizionato su di esso, come 
mettiamo il cursore del mouse sopra lo scroll si ferma.

Codice HTML :

<div id="article_scroller" onmouseover="velocita = 0" onmouseout="velocita = 1">
 <div id="scroller_div" style="position: absolute;">
  
   qui andranno le notizie che devono scorrere
  
 </div>
</div>

I seguenti div sono fondamentali per il funzionamento :

nel <div id="article_scroller"> tramite i gestori di eventi onmouseover="velocita = 0" 
e onmouseout="velocita = 1" definiamo il comportamento sopra descritto ... 
1 = rotazione .. 0 = arresto

nel <div id="scroller_div"> invece si visuallizza il blocco rotante. 

N.B. ha bisogno della seguente regola css per funzionare.

#article_scroller
{
	position: relative;
	height: 600px;
	overflow: hidden;
}
************************************************************************************/

var velocita = 1
var actualheight = ''

function init()
 {
  scroller = document.getElementById("scroller_div")
  scroller.style.top = 0
  marqueeheight = document.getElementById("article_scroller").offsetHeight
  actualheight = scroller.offsetHeight
  /*
  if (window.opera || navigator.userAgent.indexOf("Netscape/7")!=-1)
   { //if Opera or Netscape 7x, add scrollbars to scroll and exit
	 scroller.style.height = marqueeheight+"px"
	 scroller.style.overflow = "scroll"
	 return
	}
  */
  setTimeout('lefttime = setInterval("scroll()",30)', 0) //era 30
 }
function scroll()
 {
  if (parseInt(scroller.style.top) > (actualheight*(-1)+0)) //era 10
	  scroller.style.top = parseInt(scroller.style.top)-velocita+"px"
		else
		 scroller.style.top = parseInt(marqueeheight)+0+"px" //era 10
		}
  if (window.addEventListener) window.addEventListener("load", init, false)
	 else if (window.attachEvent) window.attachEvent("onload", init)
	 else if (document.getElementById) window.onload=init
