added the themes I use for gnome-shell