<!-- Timer -->
<!-- Functions for a JavaScript timer used for live scores. -->

<!-- The height and width of the scroll box once the scrolling starts -->
var scrollHeight = 90; <!-- Change this value to change the actual height of the scroller- needs to be changed on the style sheet as well-->
var scrollWidth = 140; <!-- Change this value to change the actual width of the scroller- needs to be changed on the style sheet and timer.js as well-->

<!-- The amount the text scrolls each time the timer ticks over -->
var scrollAmount = -1;

<!-- No need to change any of these variables... -->
var scroller = null;

function initPage() 
{
  var el = document.getElementById("Scroller");
  scroller = new jsScroller(el, scrollWidth, scrollHeight);
  scroller.updateText();
}

function unloadPage() 
{
  stopScroller();  
}

function startScroller() 
{
  stopScroller();
  scroller.startScroll(0, scrollAmount);
}

function stopScroller() 
{
  scroller.stopScroll();
}

function resetScroller() 
{
  stopScroller();
  initPage();
}