theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard
verified publisher icon leanprover

Dark mode support?

Open tbonza opened this issue 9 months ago • 0 comments

It looks like a recent update removed support for Dark Mode. Perhaps it's still available but I'm unable to find the option? It was really nice to have the dark mode option available in previous versions. Thanks!

tbonza avatar Jul 09 '25 13:07 tbonza