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