Repository navigation

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