Updating the search UI

[Hetarth02]

Currently the search UI looks like this,

This doesn't display much information about the search results.

I think that the UI should display more information regarding search results like, what category is this from, where did the term match.

Moreover, rather than having a separate page for searching we should have something like a search modal which can be accessible from anywhere. This would be a lot helpful. We can take inspiration from other documentations and how have they implemented their search UI.

Issue #1437, Issue #1986: These issues also address that the search results should display some more information rather than just the title of the search result.

[Hetarth02]

A demo of what I have in mind is here. Press ctrl + / to quick open the search modal.

I have also made a page having different search mockups. Here is the link.

Feel free to leave any feedback here.

[Hetarth02]

Update 01 July, 2023.

• I have added some new mockups. (7 onwards)

[mortenpi]

I think I like 11 the most out of those ones. I think the overall layout there makes sense. So we could take that and start iterating on it in a fully functional demo (or even start integrating it into Documenter).

[Hetarth02]

PR #2172 gives some insight as to what the new UI might look like.

I have updated the default list view for the time being and will be working on the search modal along with improving the UI based on your feedbacks.