/*
Highlight menu effect script
*/
function borderize(what,color,bgcolour){
	what.style.borderColor=color
	what.style.backgroundColor=bgcolour
}

function borderize_on(e){
	if (document.all)
		source3=event.srcElement
	else if (document.getElementById)
		source3=e.target
	if (source3.className=="menulines"){
		borderize(source3,"#FFFFFF","#D5C8B1")
	}
	else{
		while(source3.tagName!="TABLE"){
			source3=document.getElementById? source3.parentNode : source3.parentElement
			if (source3.className=="menulines")
				borderize(source3,"#FFFFFF","#DCCEB6")
		}
	}
}

function borderize_off(e){
	if (document.all)
		source4=event.srcElement
	else if (document.getElementById)
		source4=e.target
	if (source4.className=="menulines")
		borderize(source4,"#F5F5ED","")
	else{
		while(source4.tagName!="TABLE"){
			source4=document.getElementById? source4.parentNode : source4.parentElement
			if (source4.className=="menulines")
				borderize(source4,"#F5F5ED","")
		}
	}
}