Todos esses elementos do GTK 3 estão ocupando muito espaço em torno de qualquer coisa, desperdiçando minha entropia de telas. Eu estou procurando a maneira de alterar a configuração padrão da GUI, CSS, ou o que for usado pelo GTK para globalmente (qualquer coisa na sessão do usuário também seria OK) determinar quanto espaço está em torno de algo, por exemplo, em torno do texto nas abas do programa.
Existe uma maneira sem alterar o código-fonte de algumas libs (se apenas via libs - qual)?
A configuração CSS do GTK está disponível em ~/.config/gtk-3.0/gtk.css , que pode ser editada livremente por qualquer editor de texto.
Para saber que elemento alterar, no entanto, você precisará usar uma ferramenta como o GTK Inspector para localizar as classes / IDs adequadas.