Eu acredito que o gnome-tweak-tool deve ter uma resolução para isso. Você pode alterar os tamanhos de fonte em toda a sua área de trabalho. Ele irá criar um aplicativo chamado 'Configurações avançadas'. Para obter o gnome-tweak-tool, abra seu terminal e:
sudo add-apt-repository ppa:ricotz/testing
sudo apt-get update
sudo apt-get install gnome-tweak-tool
Quando terminar, abra o gnome-tweak-tool e vá para Fonts . Ajuste conforme necessário.