Eu não sei porque, mas todos os 4 aplicativos não estão seguindo o tamanho da fonte definido nas configurações do sistema. Alguma pista?
Eu entendi. A configuração que precisava ser alterada é encontrada em:
Configurações do sistema > Estilo da Aplicação > Estilo de Aplicação GNOME (GTK)
Euprecisavaaumentarotamanhodafontede10para12paracorresponderaotamanhodafontequeescolhi:
Configuraçõesdosistema>Fonte>Fontes
Aquiestáoefeitoantesedepois:
O Firefox está usando a fonte 10 e o Opera é a fonte 12.
O problema pode estar em que os próprios programas tenham uma substituição de fonte. Eu sei que dentro do Firefox existem opções de fontes e tamanhos que você pode alterar que não são controlados pelo sistema, a menos que cores de alto contraste sejam usadas. Para o Firefox, encontra-se em Preferências > Conteúdo e indo para "avançado" dentro dessa página permitirá mais ajustes. Não tenho certeza se é o mesmo para os outros, mas eu não ficaria surpreso.
Eu tive um problema semelhante, mas foram as guias e os menus que tinham fontes minúsculas. A solução que encontrei (para o Kubuntu 16.04 de qualquer forma) estava nas configurações do sistema > fontes > e na parte inferior da página há uma opção para "Forçar fontes DPI:" com uma opção para aumentar ou diminuir o número (o padrão é 72 ou 96). Eu aumentei o meu até 168 para obter fontes de 16pt para olhar normal sobre uma tela com uma resolução de 2560 x 1440. Bater "aplicar" e reiniciar aplicativos corrigidos.