function onMouseOver(){
  if(event.srcElement.className == "stylelink") event.srcElement.style.color = "#ff0000";
  window.event.cancelBubble = true;
}
function onMouseOut(){      
  if(event.srcElement.className == "stylelink") event.srcElement.style.color = "#00008B";
  window.event.cancelBubble = true;
}
function Init(){
  document.onmouseout = onMouseOut;
  document.onmouseover = onMouseOver;
}