// Mootools jump menu
window.addEvent('domready', function(){
	$('jump-menu')
	.setStyle('display', 'block')
	.addEvent('change', function(){
		var jumpUrl = this.getElement(':selected').value;
		if(jumpUrl != '') {
			location.href = jumpUrl;
		}
	})
});