Dark mode

[danfishgold]

• Use CSS custom properties
• Use @media (prefers-color-scheme: dark) media queries
• Add a toggle on the page as well
• Save the preference in localStorage
• Update all open tabs (see this post)
• Make sure exporting to png still works (somehow)