// Div Scroller
	// Last updated 2008-04-09 by Andy
	
	// Instructions: add initScrollers() to onload; add scrollover, scrollout and scrollclick functions to links

	var scrollAmount = 3;
	var wheelScroll = 20;
	var clickAmount = 60;
	var scrollFps = 40;
	
	var stopScrolling = false;
	
	function scrollOver(dir) {
		if(stopScrolling) {
			stopScrolling = false;
			return;
		}
		document.getElementById("maintext").scrollTop += dir * scrollAmount;
		setTimeout("scrollOver("+dir+")", 1000 / scrollFps)
	}
	function scrollOut() {
		stopScrolling  = true;
	}
	function scrollClick(dir) {
		document.getElementById("maintext").scrollTop += dir * clickAmount;
	}
	function initScrollers() {
		var el = document.getElementById("maintext");
		if(el.scrollHeight > el.clientHeight) {
			document.getElementById("scrollDownArrow").style.display = 'block';
			document.getElementById("scrollUpArrow").style.display = 'block';
			if(el.addEventListener)
				el.addEventListener('DOMMouseScroll', wheel, false);
			el.onmousewheel = wheel;
		}
	}
	function wheel(event){
		var delta = 0;
		if(!event) event = window.event;
		if(event.wheelDelta) {
			delta = event.wheelDelta/120; 
			if (window.opera) delta = -delta;
		} else if(event.detail) {
			delta = -event.detail/3;
		}
		if(delta)
			document.getElementById("maintext").scrollTop += -1 * delta * wheelScroll;
			if(event.preventDefault)
				event.preventDefault();
			event.returnValue = false;
	}