diff options
Diffstat (limited to 'fonts/punk/source/punksl20.mf')
| -rw-r--r-- | fonts/punk/source/punksl20.mf | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/fonts/punk/source/punksl20.mf b/fonts/punk/source/punksl20.mf new file mode 100644 index 0000000000..a8071c5fc0 --- /dev/null +++ b/fonts/punk/source/punksl20.mf @@ -0,0 +1,13 @@ +% 20-point slanted PUNK font +designsize:=20pt#; font_identifier:="PUNKSL"; +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:=1/3; % obliqueness +seed:=3.14159; % seed for random number generator +input punk +bye |