Esquisitice desconhecida da família de fontes CSS com o IE7-10 no Windows Vista, 7, 8

Estou vendo a seguinte "estranheza" no IE7-10 no Windows Vista, 7, 8:

Ao declarar font-family: serif;, estou vendo uma fonte serif antiga com bitmap que não consigo identificar (veja a captura de tela abaixo) em vez da fonte esperada Times New Roman . Eu sei que é uma fonte de bitmap antiga, porque exibe alias, sem qualquer suavização de fonte, com o IE7-10 no Win Vista-8 (assim como o Courier em todas as versões do Win).

Captura de tela:

Captura de tela 1

Gostaria de saber (1) mais alguém pode confirmar minha pesquisa e (2) BÔNUS: qual fonte o IE está exibindo?

Notas: O IE6 e o IE7 no Win XP exibem Times New Roman , como deveriam. Não importa sefont-family: serif; é declarado em uma folha de estilo externa ou embutida no elemento. Citar o atributo CSS não faz diferença. Adicionar "Fonte desconhecida" à pilha também não faz diferença.

Nova captura de tela: A resposta de Jukka abaixo está correta. Aqui está uma nova captura de tela com Batang (não BatangChe) para ilustrar. Espero que isso ajude alguém.

Captura de tela 2

— Jeff
fonte

Posso confirmar a observação usando o IE 9 no Win 7. Ao verificar as configurações do IE (Ferramentas → Configurações da Internet → Geral → Fontes), vejo o BatangChe mencionado como a fonte em "definido pelo usuário" para texto normal e a fonte usada para serifparece Batang Che, mas tem espaçamento diferente. E definir fontes lá parece não mudar isso. Eu acho que eles só importam se o autor não definir a família da fonte, mesmo que genericamente.

Parece que a fonte é Batang. Suponho que não há como mudar isso (ou seja, o mapeamento de serifuma fonte específica). Portanto, a conclusão prática é que usar serifcomo fonte substituta não é uma boa ideia. Ou pelo menos você deve colocar algumas fontes como Times New Roman e Georgia antes, para que o IE use uma delas em vez de cair em Batang.

— Jukka K. Korpela
fonte

+1 Também confirmo a observação usando o IE8 no Win Vista. A fonte usada é "Batang". No entanto, não vejo como isso se relaciona à configuração de idioma "Definido pelo usuário", em que "BatangChe" é definido como a fonte "Texto sem formatação". O BatangChe é bem diferente do Batang em mais aspectos do que espaçamento.

— precisa saber é o seguinte

Concordo com sua conclusão de que usar serifcomo substituto sem Times New Roman ou Georgia não é uma boa idéia. Obrigado pela ajuda.

— Jeff

Gostaria de saber se você está definindo um idioma na página em que está vendo Batang e, se não, faz alguma diferença? (por exemplo, <html lang="en">ou em php header('Content-language: en');)

— Olly Hodgson

@OllyHodgson, testei com alguns langatributos, e também sem nenhum, com o mesmo resultado (Batang).

— Jukka K. Korpela

@OllyHodgson, Sim <html lang="en">,.

— Jeff