diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/punk/punkbx20.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/punk/punkbx20.mf | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/punk/punkbx20.mf b/Master/texmf-dist/fonts/source/public/punk/punkbx20.mf new file mode 100644 index 00000000000..e045c44e857 --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/punk/punkbx20.mf @@ -0,0 +1,13 @@ +% 20-point bold extended PUNK font +designsize:=20pt#; font_identifier:="PUNKBX"; +ht#:=14pt#; % height of characters +u#:=.6pt#; % unit width +s#:=2.2pt#; % extra sidebar +px#:=2pt#; % horizontal thickness of pen +py#:=1.6pt#; % vertical thickness of pen +dot#:=3.5pt#; % diameter of dots +dev#:=.5pt#; % standard deviation of punk points +slant:=0; % obliqueness +seed:=0.57722; % seed for random number generator +input punk +bye |