Thu Aug 1 08:57:27 BST 2013 Edsko de Vries <edsko@well-typed.com> * Insert space between 'Search' and the search terms input box Ignore-this: 5ba9712828646831a6dd82b523d22f3f M ./Distribution/Server/Pages/Template.hs -1 +1 M ./datafiles/templates/hackagePageHeader.st -1 +1