Better Gnome integration

- Use the default Gnome icon theme
- Change slightly the size of the icons