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

alok wants to merge 2 commits intoleanprover:mainleanprover/verso:mainfrom

alok:feature/dark-mode-supportalok/verso:feature/dark-mode-supportCopy head branch name to clipboard