no search bar on mobile

[profezzorn]

The search bar disappears when the page is too narrow.
We should either add a burger menu in that case.
(Maybe drop the title and keep the things on the right?)
Needs experimentation.