Eu copiei um tema do / usr / share / themes que está perto de atender às minhas necessidades para /home/user/.themes . Depois de copiar a pasta, removi as configurações dos gerenciadores de janelas que não utilizo. Agora eu usei essa cópia para editar a aparência do tema.
Eu alterei o arquivo gnome-shell.css na pasta do gerenciador de janelas específico. (aqui pasta do gnome-shell, claro) Até agora eu brinquei com o tamanho dos ícones e seu espaçamento na visão geral do aplicativo. O arquivo em si tem alguns comentários que sugerem a funcionalidade e a finalidade dos parâmetros. Basta olhar lá e brincar ... se você estragar tudo apenas substituí-lo pelo tema original. Espero que pelo menos leve à direção certa.