Replace separate search page with navbar search #31
Description
To smooth out the user experience, the standalone search page could be replaced (or supported by) with a slick, universally available “hidey-showy” search interface alongside the navbar.