
/*
highlight menu effect script: by dynamicdrive.com
for full source, terms of service, and 100s dthml scripts
visit http://www.dynamicdrive.com
*/

function borderize(what,color){
what.style.bordercolor=color
}

function borderize_on(e){
if (document.all)
source3=event.srcelement
else if (document.getelementbyid)
source3=e.target
if (source3.classname=="phmenulines"){
borderize(source3,"red")
}
else{
while(source3.tagname!="table"){
source3=document.getelementbyid? source3.parentnode : source3.parentelement
if (source3.classname=="phmenulines")
borderize(source3,"red")
}
}
}

function borderize_off(e){
if (document.all)
source4=event.srcelement
else if (document.getelementbyid)
source4=e.target
if (source4.classname=="phmenulines")
borderize(source4,"white")
else{
while(source4.tagname!="table"){
source4=document.getelementbyid? source4.parentnode : source4.parentelement
if (source4.classname=="phmenulines")
borderize(source4,"white")
}
}
}
