Il n'est peut-être pas sans intérêt de rappeler comment on peut avoir accès à la fonte symbol dans les pages web sous Mozilla. Il suffit d'éditer le fichier :
c:\Program Files\mozilla.org\Mozilla\res\fonts\fontEncoding properties
et de remplacer la ligne :
encoding.symbol.ttf = Adobe-symbol
par
encoding.symbol.ttf = windows-1252
On a alors accès aux caractères grecs sous Windows. Il est curieux que cela ne figure pas par défaut dans le package de Mozilla pour Windows. Quelqu'un aurait-il une explication ?
Bien cordialement.
