// JavaScript Document


// variables to control scroll behaviour
var scrollInt=0;
var scrollSpeed=40;
var scrollLength=10;

// continually scroll up
function scrollUp_() {scrollInt = setInterval("scrl(scrollLength)", scrollSpeed);}

// continually scroll down
function scrollDown_() {scrollInt = setInterval("scrl(-scrollLength)", scrollSpeed);}

// stop scrollings
function scrollStop() {clearInterval(scrollInt);}

// scroll in given number of pixels
function scrl(px) {document.getElementById('scroller').scrollTop -= px;}

// apply style on menu mouseover
function menuMouseOver(pos) {
	document.getElementById('select_light').style.visibility = 'visible';
	document.getElementById('select_light').style.left = pos + 'px';
}
// revert style on menu mouseout
function menuMouseOut() {
	document.getElementById('select_light').style.visibility = 'hidden';
}