Source de fontsize.tex
La taille de la police courante est stockée dans la variable $fontsize$. Elle est fixée par défaut à $12, 5$, et on peut modifier cette valeur avec la commande |setfontsize|. Par exemple, l'instruction |8 setfontsize| sélectionne $8$ pour la taille de la police courante.
— Syracuse — Dernière modification : 22 octobre 2002 (0.07s - 3437412 - 30 août 2008)
