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