window.addEvent("domready", function() {  
	$$('body').setStyle('opacity', '.9999'); 
	
});

function over(x) {
	x = x.href.substring(x.href.lastIndexOf('#') + 1, x.href.length);
	$$('li.' + x).setStyle('border-color', '#AD1F10');
}

function out(x) {
	x = x.href.substring(x.href.lastIndexOf('#') + 1, x.href.length);
	$$('li.' + x).setStyle('border-color', '#DDD0BB');
}