Vous pouvez avoir besoin de spécifier une taille de fonte lorsque le pilote ne peut la
trouver ou quand vous créer un fichier de substitution de fonte. La taille de la fonte
est donnée en points par pouce (DPI) et, pour les magsteps TeX, auront une
décimale après le point. Pour éviter les calculs et l'entrée de nombres décimaux
longs, une méthode plus pratique existe pour spécifier les agrandissements:
ajoutez juste un point-virgule et le pas d'agrandissement (0 à 9, ou h pour
0.5) à la taille de la fonte. Par exemple, 100 :3 est une abréviation pour 0.8
(100 * 1.23) et 300 :h sera convertie en 328.63353. Vous pouvez aussi écrire les
deux-points suivis du pas d'agrandissement sans taille de fonte explicite.
Dans ce cas, la résolution de fonte définie par l'option +font-resolution sera
agrandie. C'est particulièrement commode dans les fichiers de substitution de
fonte pour spécifier une taille de fonte indépendante du périphérique (et de sa
résolution).
