> gsettings set org.gnome.desktop.interface color-scheme 'prefer-dark'
But I guess I'll add a button to toggle it for people who aren't using gnome.
Reply on news.ycombinator.com