Added local copy of searchtools.js for tweaking.