Change icon size in Gnome 3
See this blog post:
- Gnome3 Customization | Change Icon Size
Unfortunately, these system-wide changes are likely to be gone after the next update... To per-user changes, refer to this blog post:
- Per-user Gnome 3 configuration
(It is about Arch Linux, but I think it is applicable)
Install user-theme
extension for gnome-shell
, then copy themes to your home folders as written, modify them as you like, and choose your new user-modified theme in the gnome-tweak-tool
.