ed = [];
var infile = [];
goog.events.listen(document, 'mouseover', handleMouse);
goog.events.listen(document, 'keydown', handleKeys);


function handleMouse(e) {
  highlightElement(e.target);
}

function handleKeys(e) {
  if (currentTarget) {
    switch (e.keyCode) {
      case 40:
        highlightElement(currentTarget.nextSibling);
        break;
    
      case 38:
        highlightElement(currentTarget.previousSibling);
        break;
    
      case 39:
        // right
        break;
    
      case 