Skip to content

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
Open

feat: add dark mode support via prefers-color-scheme#676
alok wants to merge 15 commits into
leanprover:mainfrom
alok:feature/dark-mode-support

Improve theme menu keyboard navigation

91cda87
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.