% 10-point PUNK font
designsize:=10pt#; font_identifier:="PUNK";
ht#:=7pt#;      % height of characters
u#:=1/4pt#;     % unit width
s#:=1.2pt#;     % extra sidebar
px#:=.6pt#;     % horizontal thickness of pen
py#:=.5pt#;     % vertical thickness of pen
dot#:=1.3pt#;   % diameter of dots
dev#:=.3pt#;    % standard deviation of punk points
slant:=0;       % obliqueness
seed:=sqrt2;    % seed for random number generator
input punk
bye
