leanprover/doc-gen4

Support prefers-color-scheme media query

4e554c4c opened this issue · 1 comments

4e554c4c commented

The mathlib docs support the prefers-color-scheme media query, and supports dark or light mode depending on the response. However, the mathlib4 docs do not change their color. For example, for prefers-color-scheme: dark
docs3:
image
docs4:
image

4e554c4c commented

I have started work on this

  • 🎉1