Use dark theme in Gnome 3.12

The new Gnome Terminal does not enable the dark theme automatically by itself, you need to explicitly enable it using the “Use dark theme variant” option. Its documented in the official Gnome help, but in there “Profile Preference” is mentioned, which is wrong! In Gnome 3.12 that option is under “Edit => Preference”!