This bug was fixed in the package gnome-shell-extension-ubuntu-dock - 64ubuntu7
--------------- gnome-shell-extension-ubuntu-dock (64ubuntu7) disco; urgency=medium
* debian/rules: Ignore default stylesheet in ubuntu session (LP: #1824591)
-- Marco Trevisan (Treviño) <email address hidden> Fri, 12 Apr 2019 17:03:43 -0500
This bug was fixed in the package gnome-shell- extension- ubuntu- dock - 64ubuntu7
--------------- extension- ubuntu- dock (64ubuntu7) disco; urgency=medium
gnome-shell-
* debian/rules: Ignore default stylesheet in ubuntu session (LP: #1824591)
-- Marco Trevisan (Treviño) <email address hidden> Fri, 12 Apr 2019 17:03:43 -0500