Hi,

Is it possible to override an extension's styles using custom styles in a
local gnome-shell.css?

-- 
*deviantART*: http://0rAX0.deviantart.com
_______________________________________________
gnome-shell-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-shell-list

Reply via email to