diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/punk/source/punk12.mf |
Initial commit
Diffstat (limited to 'fonts/punk/source/punk12.mf')
-rw-r--r-- | fonts/punk/source/punk12.mf | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/fonts/punk/source/punk12.mf b/fonts/punk/source/punk12.mf new file mode 100644 index 0000000000..6f0def4349 --- /dev/null +++ b/fonts/punk/source/punk12.mf @@ -0,0 +1,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 |