[josho]

This is great, it means many sites won't have much work to support the CSS media query.

I still would prefer to change a setting once, rather than establish a profile on every website to enable a dark theme.