Por padrão, não há como alterar o tamanho da fonte do Ubuntu... Pelo menos eu não achei como!
Mas como eu já usei o GNOME Shell, sei de uma maneira. Basta instalar o Gnome Tweak Tool:
sudo apt-get install gnome-tweak-tool
Depois disso, basta abrir o Gnome Tweak Tool. Eu faço isso clicando no botão Ubuntu no lançador e digitando:
tweak
O nome do software em português é Ferramenta de Ajustes. Nesta ferramenta há a opção "Fontes", onde é possível alterar o tamanho. Eu gosto de diminuir em dois pontos o tamanho padrão das fontes:
Onde o padrão é 11, deixo 9. Onde o padrão é 13, deixo 11, por exemplo.
[1] Comentário enviado por lcavalheiro em 06/02/2013 - 18:27h
Xerxes, a dica serve para qualquer distro com GNOME3. A única maneira de alterar algumas configurações do GNOME (entre elas o tamanho da fonte) é pelo gnome-tweak-tool.