Docs search improvement

[reynaldichernando]

fixes #2362

• use subheading section match instead of entire page match
• update UI to show if inside subheading
• use minisearch for fuzzy
• update from building manual search index to using minisearch index

notes:

• there's some specific logic for the minisearch tokenizer
• and this is mostly based on vibes, to for user to search easier, like "aichat"
• basically improving on top of what minisearch fuzzy provides
• also with this subheading match, we are also improving our text fragment matching success rate

[reynaldichernando]

bruh

[reynaldichernando]

😎

[Copilot]

Pull request overview

This PR improves the docs site search by moving from manual page-wide substring matching to a MiniSearch-backed index with fuzzy/prefix matching and section-aware results (including section anchors and optional text-fragment navigation).

Changes:

• Replace client-side linear search with MiniSearch (fuzzy + prefix + AND-combined terms) and updated result rendering (Page Title › Section).
• Change search indexing in build.js from whole-page plain text to per-section documents and serialize as a MiniSearch index (toJSON()).
• Add minimal UI styling for the new “Page Title › Section” result format and include minisearch as a dependency.

Reviewed changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
src/docs/src/assets/js/search.js	Loads a serialized MiniSearch index, performs fuzzy/prefix searches, and builds anchor/text-fragment result URLs with updated UI rendering.
src/docs/build.js	Builds a section-based docs corpus and outputs a serialized MiniSearch index for the frontend to load.
src/docs/src/assets/css/style.css	Adds styling for page-title prefix and separator in search results.
src/docs/package.json	Adds minisearch dependency for docs build + frontend bundle.
package-lock.json	Locks the new dependency and associated lockfile changes.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[reynaldichernando]

probably a good idea for an issue