feat: add dark mode support via prefers-color-scheme - #676

Open

alok wants to merge 15 commits into

leanprover:mainfrom

alok:feature/dark-mode-support

Commits on Dec 16, 2025

feat: add dark mode support via prefers-color-scheme
alok
committed
be4f660

Commits on Dec 17, 2025

style: apply prettier formatting to theme-toggle.js
alok
committed
ba2c0ea

Commits on Feb 10, 2026

fix: make dark mode opt-in and emit theme toggle asset
alok
committed
5837227
fix: improve dark-mode contrast for search and doc labels
alok
committed
af1ee87
test: add playwright coverage for dark-mode toggle state
alok
committed
e47250b
test: verify theme toggle asset is served
alok
committed
0cc855c
test: verify dark styles are gated by opt-in attribute
alok
committed
9346c5b
test: cover dark-system light override path
alok
committed
3723d51
Fix dark mode hover styling and theme toggle header overlap
alok
committed
c969c1a

Commits on Feb 20, 2026

Commits on Mar 6, 2026

Refine dark mode theme selection and color tokens
alok
committed
04890bc
Polish mobile and no-JS dark mode behavior
alok
committed
7df5827

Commits on Mar 7, 2026

Improve theme menu keyboard navigation
alok
committed
91cda87