diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-12-01 13:43:10 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-12-01 13:43:10 +0100 |
commit | 08fa92c1c94d9faddee48590a1a20506e89c191c (patch) | |
tree | 12bbf6fa56b69c47340d4c15f8f601be2d9487b5 /tex/context/fonts/mkiv/type-imp-dejavu.mkiv | |
parent | 2593c827482f6c5a315d504cd5316879d6172656 (diff) | |
download | context-08fa92c1c94d9faddee48590a1a20506e89c191c.tar.gz |
2022-12-01 12:41:00
Diffstat (limited to 'tex/context/fonts/mkiv/type-imp-dejavu.mkiv')
-rw-r--r-- | tex/context/fonts/mkiv/type-imp-dejavu.mkiv | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/fonts/mkiv/type-imp-dejavu.mkiv b/tex/context/fonts/mkiv/type-imp-dejavu.mkiv index d6fe406fb..49b788a73 100644 --- a/tex/context/fonts/mkiv/type-imp-dejavu.mkiv +++ b/tex/context/fonts/mkiv/type-imp-dejavu.mkiv @@ -45,8 +45,8 @@ \stoptypescript \starttypescript [\s!math] [dejavu,dejavu-nt,dejavu-condensed] - \checkedmapfontsize[\typescripttwo][\s!script] [.80] - \checkedmapfontsize[\typescripttwo][\s!scriptscript][.65] + \checkedmapfontsize[\typescripttwo][\s!script] [.70]%.80 + \checkedmapfontsize[\typescripttwo][\s!scriptscript][.55]%.65 \stoptypescript \starttypescript [\s!math] [dejavu] [\s!name] |