Search Feature #136
Description
It would be nice to add a frontend search feature, to help people reading the output docs find content. This should probably be implemented as a build-time search index which the frontend can load.
{{ message }}
It would be nice to add a frontend search feature, to help people reading the output docs find content. This should probably be implemented as a build-time search index which the frontend can load.