So some of you might have noticed that jenkins.io has upgraded to a new search. It’s results are way cleaner than v2, and I have access to tweak and test the configuration. Its scheduled to crawl every tuesday, so my tweaks of the data will go live tomorrow.
One issue is that the new component completely replaces the search box. I can revert it to the old behavior, but this is recommended. This means our existing styling doesn’t really work on mobile as it goes from a full input box to a button that triggers the dialog box.
I’m thinking it makes more sense to have the mobile button next (before or after) to the full menu expansion.
My only real concern is that to do it nicely, i’d want to do it on the large page view too
While I can leave it before the download box, it’ll make the css to do this whole thing a lot harder. I personally like search being top right and after the download button.
What do you all think?
