//This file used for scripts that must run on every page of the site.
window.addEvent("domready", function(event) {
  new OverText($("search").getElement("input.searchbox"));
});