Skip to content

Infra: add pagefind search #4247

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hugovk merged 17 commits into from
Jan 24, 2026
Merged

Infra: add pagefind search #4247

Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
8d0839a
feat: add pagefind search
miketheman Jan 31, 2025
411648b
fix: ensure title is set correctly
miketheman Aug 22, 2025
a37d019
fix: abandon built-in styles
miketheman Aug 22, 2025
d9f8857
feat: add mobile search dialog box and styling
miketheman Aug 22, 2025
ed6cea3
style: add a little styling to not clip numbers
miketheman Aug 24, 2025
dfcbb5b
fix: remove noisy pages from indexing
miketheman Aug 24, 2025
3a3cbc4
chore(deps): update to latest pagefind release
miketheman Sep 8, 2025
eedb14b
style: give the sidebar a little more room for results
miketheman Sep 8, 2025
011dd38
Revert "style: give the sidebar a little more room for results"
miketheman Dec 29, 2025
8f3f074
Revert "style: add a little styling to not clip numbers"
miketheman Dec 29, 2025
1113f24
adapt style
miketheman Dec 29, 2025
cae73c6
update html
miketheman Dec 29, 2025
09349f5
fix: keep Clear button within the search input
miketheman Dec 29, 2025
e85cdac
Merge branch 'main' into pagefind-search
miketheman Jan 5, 2026
86e155a
Merge branch 'main' into pagefind-search
miketheman Jan 6, 2026
e88877e
Merge branch 'main' into pagefind-search
miketheman Jan 20, 2026
d8fe8d1
Merge branch 'main' into pagefind-search
miketheman Jan 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix: abandon built-in styles 
The default inherited styles are good enough to get started, and styling
can happen at any point with customization in `style.css` instead of
trying to mash the default style to work here.

Refs: https://pagefind.app/docs/ui-usage/#customising-the-styles

Signed-off-by: Mike Fiedler <[email protected]>
  • Loading branch information
@miketheman
miketheman committed Dec 29, 2025
commit a37d019e910f8f8f8a0b51d5a3c63c2873756dfa
1 change: 0 additions & 1 deletion pep_sphinx_extensions/pep_theme/templates/page.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,6 @@
<link rel="stylesheet" href="{{ pathto('_static/mq.css', resource=True) }}" type="text/css">
<link rel="stylesheet" href="{{ pathto('_static/pygments.css', resource=True) }}" type="text/css" media="(prefers-color-scheme: light)" id="pyg-light">
<link rel="stylesheet" href="{{ pathto('_static/pygments_dark.css', resource=True) }}" type="text/css" media="(prefers-color-scheme: dark)" id="pyg-dark">
<link rel="stylesheet" href="/pagefind/pagefind-ui.css" type="text/css">
<link rel="alternate" type="application/rss+xml" title="Latest PEPs" href="https://peps.python.org/peps.rss">
<meta property="og:title" content='{{ title + " | peps.python.org"|safe }}'>
<meta property="og:description" content="{{ description }}">
Expand Down