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