filter.js now uses strict javascript
Improves formatting of the search bar