Gnome-Symbolgröße änderen, ohne Gnome installiert zu haben