Skip to content

Add search #292

@lsf37

Description

@lsf37

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions