Aqui estão as definições de configuração para o aplicativo Terminal em Yosemite.
Isso mostra que eu posso definir o tamanho da fonte para os valores distintos fornecidos no Terminal. Como posso defini-lo para algum outro valor intermediário, como no meu caso, quero defini-lo como "15"?