[devdtv] Fontes no Ginga

Boa tarde,

Procurei em diversos sites e também nas normas da ABNT, mas não encontrei as fontes disponíveis no Ginga.

Eu uso a fonte 'vera', mas tentei trocar para 'courier', 'times' ou 'arial' mas não teve mudança.
Se alguém puder me passar os nomes por favor.

Agradeço

--
Atenciosamente,
Gustavo Ronconi Scarabelot
Tecnologia da Informação |  Gerenciamento, Pesquisa e Desenvolvimento

--
Você está recebendo esta mensagem porque se inscreveu no grupo "Desenvolvimento para TV digital" dos Grupos do Google.
Para postar neste grupo, envie um e-mail para devdtv@googlegroups.com.
Para cancelar a inscrição nesse grupo, envie um e-mail para devdtv+unsubscribe@googlegroups.com.
Para obter mais opções, visite esse grupo em http://groups.google.com/group/devdtv?hl=pt-BR.