blob: b86a9c4cda6872de291b2c3d418b6d4adf6c1e5e (
plain)
1
|
font_identifier:="OT1WHITE"; 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 ot1white
|