[chrfrasco]

Looks like we need prefers-prefers-color-scheme

[gwern]

But then what happens when they forget opting into the opting in?!

[gwern]

In all seriousness, because people keep not realizing or forgetting, we're adding a 'theme switcher' little widget. I dislike the need, but lots of people genuinely like dark mode, and this seems to be the best compromise.