Jake Leahy 3c71429eca Doc search improvements (#24567) ...

- `/` is now a hotkey to jump to the search
- Search results now are in line with the page (previously on small
screens it would be off centre)
- Jumping to a search result inside the page or via TOC will now hide
the search results (previously the results got in the way)

Example site here: https://tranquil-scone-c159b6.netlify.app/main.html

(cherry picked from commit 86d6f71f5a)

2025-01-15 10:21:11 +01:00

..

dochack.nim

Doc search improvements (#24567)

2025-01-15 10:21:11 +01:00

fuzzysearch.nim

make fuzzy search a bit less fuzzy (#13996) [backport:1.2]

2020-04-16 20:22:32 +02:00