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
..
2020-05-25 13:56:06 +02:00
2020-06-12 21:52:29 +02:00