<!--

function highlight(arg, mode)
{
 var my_elem = document.getElementById(arg)
 if (my_elem) {
  var attrlist = my_elem.attributes;
  var anode
  if (attrlist.length > 0) {
    for (var i=0; i<attrlist.length; i++) {
      anode = attrlist.item(i);
       if (anode.nodeName=="style") {
	if (mode==1) {
	  my_elem.style.color="white";
        }
	if (mode==0) {
	  my_elem.style.color="black";
        }
      }
    }
  }
 }
}

function highlight_blue(arg, mode)
{
 var my_elem = document.getElementById(arg)
 if (my_elem) {
  var attrlist = my_elem.attributes;
  var anode
  if (attrlist.length > 0) {
    for (var i=0; i<attrlist.length; i++) {
      anode = attrlist.item(i);
       if (anode.nodeName=="style") {
	if (mode==0) {
	  my_elem.style.color="black";
        }
	if (mode==1) {
	  my_elem.style.color="blue";
        }
      }
    }
  }
 }
}

-->