inveniosoftware/invenio — pull request #1888 by greut (2014-07-03 06:38:52+00:00)
Title: search: layout fix

Fixes the shrunk search bar.

![search bar is broken](https://cloud.githubusercontent.com/assets/1388/3466208/66f508c8-027c-11e4-8607-afc58206ddd0.png)

Probably introduced by bootstrap 3.2.0 (#1876)