//varDefColOver = "#000000"
//varDefColNormal = "#7B9CD6"

function rollon() {
  if (event.srcElement.tagName == "A") {
//    alert("A tag color " + event.srcElement.style.color);
//    if (event.srcElement.href != "") {
//      alert("has HREF " + event.srcElement.href);
      if (event.srcElement.style.color == "#b4b4b4") {
//        alert("changing colour from " + event.srcElement.style.color);
//        event.srcElement.style.color = "#0066FF"; // (light blue) hmmm OK
//        event.srcElement.style.color = "#0099FF"; // (lighter blue) hmmm OK
//        event.srcElement.style.color = "#66CCFF"; // (light green) hmmm OK
//        event.srcElement.style.color = "#7B9CD6"; // (mid green) hmmm OK
//        event.srcElement.style.color = "#3399CC"; // (dark green) hmmm OK
//        event.srcElement.style.color = "#7B9CD6"; // (mid green) hmmm OK
        event.srcElement.style.color = "#666666"; // (mid grey)
        event.srcElement.onmouseout = rolloff;
      }
//    }
  }
}

function rolloff() {
//  alert("rolloff");
//  event.srcElement.style.color = "#333399";
  event.srcElement.style.color = "#b4b4b4";
//  event.srcElement.text.background-color = "#000000"; doesn't work
}

document.onmouseover = rollon;