Uma atualização: Se estiver usando o Linux Mint 16 Cinnamon (canela 2.0), o comando do terminal agora é:
gsettings set org.cinnamon.desktop.interface font-name 'Sans 10"
Se estiver usando versões anteriores do Cinnamon (por exemplo, LM15, 14 etc.), o comando original está correto.