Dark theme

[dgp1130]

A lot of folks prefer dark theme and find it easier to read, especially for long articles this can be good to encourage readers. The feature should include:

• Infer dark theme from OS / browser settings.
• Override toggle on the page to manually switch.
• Persist the user's choice for subsequent visits.