blob: 088d41b4191b9698053d94d0a042718eaca01d54 (
plain)
1
2
3
4
5
6
7
8
9
|
font_slant slant; font_x_height x_height#;
if monospace: font_normal_space 9u#; % no stretching or shrinking
font_quad 18u#;
font_extra_space 9u#;
else: font_normal_space 6u#+2letter_fit#;
font_normal_stretch 3u#; font_normal_shrink 2u#;
font_quad 18u#+4letter_fit#;
font_extra_space 2u#; fi
bye.
|
