Description:
------------
Pleas consider applying a patch with similar functionality to make "overflow:auto" elements scrollable in Mozilla (like on the main stats page).

Reproduce code:
---------------
<script type="text/javascript"> <!--
	// enable scrolling for overflow:auto elements in Mozilla
	function scrollMe(event)
	{
		var st = event.currentTarget.scrollTop + (event.detail * 12);
		event.currentTarget.scrollTop = st < 0 ? 0 : st;
		event.preventDefault();
	}
	if (document.body.addEventListener) {
		var divs = document.getElementsByTagName('DIV');
		for (var d in divs) {
			if (divs[d].className && divs[d].className == 'scroll') {
				try {
					divs[d].addEventListener('DOMMouseScroll', scrollMe, false);
				} catch (ex) {}
			}
		}
	}
	// -->
</script>