Infra: add pagefind search - #4247

Merged

hugovk merged 17 commits into

python:mainfrom

miketheman:pagefind-search

Jan 24, 2026

Commits on Dec 29, 2025

feat: add pagefind search
miketheman
committed
8d0839a
fix: ensure title is set correctly
miketheman
committed
411648b
fix: abandon built-in styles
miketheman
committed
a37d019
feat: add mobile search dialog box and styling
miketheman
committed
d9f8857
style: add a little styling to not clip numbers
miketheman
committed
ed6cea3
fix: remove noisy pages from indexing
miketheman
committed
dfcbb5b
chore(deps): update to latest pagefind release
miketheman
committed
3a3cbc4
style: give the sidebar a little more room for results
miketheman
committed
eedb14b
Revert "style: give the sidebar a little more room for results"
miketheman
committed
011dd38
Revert "style: add a little styling to not clip numbers"
miketheman
committed
8f3f074
adapt style
miketheman
committed
1113f24
update html
miketheman
committed
cae73c6
fix: keep Clear button within the search input
miketheman
committed
09349f5

Commits on Jan 5, 2026

Merge branch 'main' into pagefind-search
miketheman
authored
e85cdac

Commits on Jan 6, 2026

Merge branch 'main' into pagefind-search
miketheman
authored
86e155a

Commits on Jan 20, 2026

Merge branch 'main' into pagefind-search
miketheman
authored
e88877e

Commits on Jan 24, 2026

Merge branch 'main' into pagefind-search
miketheman
authored
d8fe8d1