// Farben ändern

var colorover="#8855cc";
var colorold="#885533";

function setOverStyle()
{ 
  source=event.srcElement; 
  if (source.tagName=="TR" || source.tagName=="TABLE") 
    return;
    
  while(source.tagName!="TD") 
    source=source.parentElement;
  if (source.style.borderColor!=colorover && source.id!="ignore") 
    source.style.borderColor=colorover;
} 

function setOutStyle()
{ 
  if (event.fromElement.contains(event.toElement) 
    || source.contains(event.toElement) 
    || source.id=="ignore") 
    return;
  
  if (event.toElement!=source) 
    source.style.borderColor=colorold;
}