After #88, we have too many buttons on the search bar displayed on mobile. This makes it too large to display correctly, so we need to move these buttons to a separate menu on mobile.