var scrollSpeed = 1;   // number of pixels to change every frame
var scrollDepth = 248; // height of your display box (the same height as in functions.php)
var scrollHeight = 0;   // this will hold the height of your content
var scrollDelay = 25;  // delay between movements.

var scrollPos = scrollDepth; // current scroll position
var scrollMov = scrollSpeed; // for stop&start of scroll

function Scroll()
{
	if(scrollHeight == 0) 
	{
		scrollHeight = document.getElementById('scrollmenu').offsetHeight;
	}
	
	scrollPos -= scrollMov;
	
	if(scrollPos < (0 - scrollHeight))
	{
		scrollPos = scrollDepth;
	}
	document.getElementById('scrollmenu').style.top = scrollPos + 'px';
	setTimeout('Scroll();', scrollDelay);
}

function Move()
{ 
	scrollMov = scrollSpeed;
}
function Stop()
{ 
	scrollMov = 0; 
}

function swapLogin()
{
	document.getElementById('loginButton').style.top = '18px';
}