From b050c60919e83862410c2fe561a9a1164e322551 Mon Sep 17 00:00:00 2001 From: haikdc Date: Tue, 16 Jun 2026 09:37:58 -0700 Subject: [PATCH] [haik]: add scoped package search widget to docs overview pages: in-page search box on generated package overviews that filters the site index to only that package's subtree, with CSS styling and JS graceful degradation --- docs/content/javascripts/pkg-search.js | 226 +++++++++++++++++++++++++ docs/content/stylesheets/openswarm.css | 92 ++++++++++ docs/gen_pages.py | 16 ++ docs/zensical.toml | 2 +- 4 files changed, 335 insertions(+), 1 deletion(-) create mode 100644 docs/content/javascripts/pkg-search.js diff --git a/docs/content/javascripts/pkg-search.js b/docs/content/javascripts/pkg-search.js new file mode 100644 index 00000000..fb6087b4 --- /dev/null +++ b/docs/content/javascripts/pkg-search.js @@ -0,0 +1,226 @@ +/* + * Scoped package search. + * + * Every generated package-overview page (see docs/gen_pages.py) carries a + * `