Recentemente reduzi o tamanho da barra de título na versão Fedora 24 Gnome 3.20. Basicamente quero reduzir o tamanho de cada widget para que o espaço ocupado pelo aplicativo na tela seja reduzido. Qualquer ajuda será apreciada.
Existe alguma maneira de reduzir o tamanho de todos os widgets, incluindo botão, item de menu/menu, etc. no Gnome 3.20 ou superior?