12
charwidth#:=mg*8.5pt#;
14
define_pixels(height,depth,width);
15
define_blacker_pixels(thin,thick);
26
font_normal_space 1/4width#;
27
font_x_height height#;
29
font_extra_space 1/4width#;
31
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%