Também passo por alguns perrengues com essas fontes Tamanho e Tipo. Creio que a melhor solução seja a fixação de uma fonte pelo usuário e claro, permitir ao menos o uso de formatações básicas. Mas para o caso mencionado, não exite essa opção no android. Fica algo estranho, já que o usuário consegue fazer isso tranquilamente em outras plataformas.