function highlight_link(this_obj, on_off) {
  if (on_off) {
    if (this_obj.tagName == 'IMG') {
      this_obj.style.border = '1px dotted red';
      this_obj.style.margin = '4px';
    }
    else {
      this_obj.style.fontWeight = 'bolder';
    }
  }
  else {
    if (this_obj.tagName == 'IMG') {
      this_obj.style.borderStyle = 'none';
      this_obj.style.margin = '5px';
    }
    else {
      this_obj.style.fontWeight = 'normal';
    }
  }
  return;
}