#9631: Hint GNOME 3 window manager to use dark window borders