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