diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf index c0861aeb7cc..f3bf24b3487 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; |