diff options
Diffstat (limited to 'fonts/drm/mf/drmsym12.mf')
-rw-r--r-- | fonts/drm/mf/drmsym12.mf | 74 |
1 files changed, 74 insertions, 0 deletions
diff --git a/fonts/drm/mf/drmsym12.mf b/fonts/drm/mf/drmsym12.mf new file mode 100644 index 0000000000..61cfa2b6cf --- /dev/null +++ b/fonts/drm/mf/drmsym12.mf @@ -0,0 +1,74 @@ +% +AMDG + +font_identifier:="drm"; font_size:=12pt#; font_coding_scheme "TS1"; +pixels_per_inch:=1200; +mode_setup; + +%%%% Define Dimensions for Whole Boxes %%%% + +phi=(1+sqrt5)/2; +cap#=10pt#; +u#=2cap#/3; +em#=cap#; +ex#=0.6cap#; +exw# = ex#; define_pixels(exw); +dep#=cap#/3; +ss#=0.2pt#; +asch#=12cap#/12; +digwid#=1ex#; +slant = 0; +font_slant 0u#; +font_normal_space 0.5u#; +font_normal_stretch 0.2u#; +font_normal_shrink 0.2u#; +font_x_height cap#/phi; +font_quad em#; +font_extra_space 0.5u#; + +penwidth#=0.01pt#; + +%%%% Define Dimensions for Letters %%%% + +lserc#=0.08u#; +lserh#=lserc#+lserstep#; +lhigh#=0.3u#; +lserstep#=0.05u#; +userc#=0.08u#; +userh#=userc#+userstep#; +lserw#=0.2u#; +userw#=0.2u#; +userstep#=0.05u#; +bulbsh#=0.10u#; +curvwid#=1.4pt#; +slantwid#=1.4pt#; +thickstroke#=1.2pt#; +loopgap#=1.2pt#; +thinstroke#=0.5pt#; +o#=0.2thinstroke#; +hair#=0.2pt#; +ssslant#=0.1u#; +dotwidth#=userw#-o#; +pwid#=2userw#; +accwid# = pwid#/8; +theight#=7asch#/8; +define_pixels(theight); +thinwid# = 0.4pt#; +define_pixels(thinwid); + +define_pixels(accwid,cap,u,em,ex,dep,ss,penwidth,lserh,userh,lhigh,lserw,bulbsh,userw,lserc,userc,lserstep,userstep,ssslant,curvwid,slantwid,pwid,hair,loopgap,dotwidth); +define_blacker_pixels(accwid,cap,u,em,ex,dep,ss,penwidth,lserh,userh,lhigh,lserw,bulbsh,userw,lserc,userc,lserstep,userstep,ssslant,curvwid,slantwid,pwid,hair); +define_blacker_pixels(thickstroke,thinstroke,penwidth,o,hair); + +pickup pencircle scaled penwidth; cappen:=savepen; +equalize=thickstroke/2-thinstroke/2; + +input drmlowmac.mf +input drmsymbols.mf +input drmacc.mf +input drmoldstynums.mf +input drmoldstyfracs.mf +input drmdigs.mf +input drmromannums.mf; +input drmornaments.mf; + +end; |