This is what happened when I suggested that GNOME use Industrial as its default theme.
Here are my modifications to make Industrial more appropriate for inclusion in the Desktop release - conveniently available as a separate theme. The changes will eventually be proposed as a patch to the Industrial theme included with GNOME.
