removing deprecated header search code
5 search results instead of 10
larger search box
5 search results not 10
more padding for search box
Merge pull request #268 from Petercopter/header-search-changes

Header search changes