blob: 6ff3bcbde6f748a03162e011bd11047faa2f415c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
% 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
|