Sim, isso resolveu o problema @chapoi. Também agradeço a @Lilly pela dica de como encontrá-lo. Quando isso for lançado para todos (ou se tornar permanente), haverá uma maneira de personalizar o tamanho da fonte? O que estava sendo usado ali era simplesmente muito pequeno.