function highlight(obj) {
  if (typeof(obj.style) != 'undefined') {
    //obj.style.borderBottom = '1px solid #28b3fb';
    //obj.style.borderTop = '1px solid #28b3fb';
    obj.style.backgroundColor = '#80d1f7';
  }
}

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