Esta não é a melhor forma, pois envolve alterar o tamanho de todas aplicações, mas é a única maneira que conheço.
- Pressione Alt + F2 e digite
gnome-appearance-properties
. - Inicie o aplicativo Preferências de aparência a partir do resultado da pesquisa.
- Vá para a guia Fontes .
- Altere as configurações de fonte Fontes de aplicativos .