26d489c6e1
This commit removes the extra search bar that was dedicated to the mobile layout and adapts the desktop's one to be compatible with mobile. It also brings back the "Hide Search Matches" button.