Eike Kettner e0c8c45061 Hide search menu by default and add search bar to top
Adds a search bar to the top of the listing page that is the same as
the `All Names` search field in the search menu. Search menu can be
toggled as before.
2020-06-13 22:05:16 +02:00
..