function highlight(obj) {
  if (typeof(obj.style) != 'undefined') {
    obj.style.borderBottom = '1px solid #a4a4a4';
    obj.style.borderTop = '1px solid #a4a4a4';
    obj.style.backgroundColor = '#f4f4f4';
  }
}

function delight(obj) {
  if (typeof(obj.style) != 'undefined') {
    obj.style.borderBottomStyle = 'none';
    obj.style.borderTopStyle = 'none';
    obj.style.backgroundColor = '';
  }
}