Event.observe(window, "load", menu_over);

function menu_over (){
	$$("#menu #text_content a").invoke("observe", "mouseover", function(ev){
		var target = ev.element();
		var back_id = "back_"+target.id;
		target.setStyle("color:red;");
		$(back_id).setStyle("border-left: 5px solid red;");
	});
	$$("#menu #text_content a").invoke("observe", "mouseout", function(ev){
		var target = ev.element();
		var back_id = "back_"+target.id;
		target.setStyle("color:#333333;");
		$(back_id).setStyle("border-left: 5px solid #0066FF;");
	});
}