mathlib4 dark theme

Stream: mathlib4

[Calvin Lee]

mathlib docs have a dark theme for night mode, but mathlib4 docs don't seem to have the same stylesheet.
Is there a difference in the doc-gen version used to generate the two sites?

[Eric Wieser]

Yes, the two doc-gens are almost entirely different!