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