gtk-appearance: dark theme option