panel: Tweak gnome-panel-theme-integration further