blob: 6f0def43497731b71bf400792f07c55c55ed8b22 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
% 12-point PUNK font
designsize:=12pt#; font_identifier:="PUNK";
ht#:=8.4pt#; % height of characters
u#:=.3pt#; % unit width
s#:=1.4pt#; % extra sidebar
px#:=.75pt#; % horizontal thickness of pen
py#:=.62pt#; % vertical thickness of pen
dot#:=1.6pt#; % diameter of dots
dev#:=.36pt#; % standard deviation of punk points
slant:=0; % obliqueness
seed:=sqrt3; % seed for random number generator
input punk
bye
|