diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf index 6f0678bf767..8fa709ee298 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx24.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#; |