A compact and elegant GTK / Gnome Shell theme