Desculpe, isso é exatamente o que você não queria.
Você pode fazer isso usando a ferramenta Gnome Tweak, embora seja necessário fazer algumas contas básicas:)
Primeiramente, instale o pacote gnome-tweak-tool
ou clique em aqui install isso.
Em seguida, vá para a guia Fontes e altere o fator de escala de texto
Depois, um pouco de matemática:)