Due to some UI issues with the normal theme (see this question) I switched to the dark theme by setting gtk-application-prefer-dark-theme=1
in ~/.config/gtk-3.0/settings.ini
. In general this works just fine, but there are some minor glitches like the selection color for multiple items.
So my question is: Is the dark theme officially supported and is it worth reporting bugs related to it?