-
Notifications
You must be signed in to change notification settings - Fork 61
Add search #292
Copy link
Copy link
Open
Labels
enhancementNew feature or requestNew feature or request
Description
In the docsite redesign we removed the duckduckgo search bar. The plan is to replace it with a custom search bar.
Current ideas for this are roughly
- use something like elasticlunr
- produce an index by scanning the generated _site, focussing the search on the
<main>,<title>, and<h*>tags with more weight on<h*>and<title> - it would be nice to recognise API functions and give them more weight so that it is possible to go to them quickly. Not sure how much work that would be.
- write js to present search results in a reasonably nice form (examples would be mdbook or the search on the tailwindcss.com site)
- make sure search can be operated by keyboard without mouse
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request