code: function flashNode(node, match) {
    if (!node.__gcliHighlighting) {
      node.__gcliHighlighting = true;
      var original = node.style.background;
      node.style.background = match ? 'green' : 'red';
      setTimeout(function() {
        node.style.background = original;
        delete node.__gcliHighlighting;
      }, 500);
    }
  }
docs: Internal helper to turn a single nodes background another color for 0.5
  second. There is likely a better way to do this, but this will do for now.