A better search tool is now available at the very top right hand corner of every page.

The old search is still available below.