blob: e22ab3ca1480d5d19cee1db29c13a82db4c56e8f (
plain)
1
|
font_identifier:="OT1NEUTRAL"; font_size 20pt#;
size#:=20pt#;
line_thickness#:=.04size#;
border_line_thickness#:=.1size#;
%%%
dig_h#:=63/100size#;
dig_w#:=4/10size#;
dig_pen#:=1/10size#;
input ot1neu
|