Dark theme is live

After much deliberation, finally the dark theme is now available on this site. The switch should work automatically when the browser’s preference and theme is dark mode.