Mesa de luz, definir tamanho da fonte

Eu sou novo no Lighttable IDE.
alguém sabe como definirworkspace e tamanho da fonte do Windows.
Eu posso alterar o tamanho da fonte do editor. mas não sei como definirfont-size para outro elemento. ou altere o tamanho da fonte global para todas as fontes IDE.