# HG changeset patch
# User wenzelm
# Date 1543071293 -3600
# Node ID 6aa24ccd8049ab0d306f8a00b08f50c8997bf7da
# Parent  f8f8270188b488c06ad64315f36b1c7eaa1b1139
proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";

diff -r f8f8270188b4 -r 6aa24ccd8049 lib/fonts/IsabelleText.sfd
--- a/lib/fonts/IsabelleText.sfd	Sat Nov 24 15:41:22 2018 +0100
+++ b/lib/fonts/IsabelleText.sfd	Sat Nov 24 15:54:53 2018 +0100
@@ -20,7 +20,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050361371
-ModificationTime: 1515875467
+ModificationTime: 1543070556
 PfmFamily: 17
 TTFWeight: 400
 TTFWidth: 5
@@ -2242,7 +2242,7 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 0 32 8
+WinInfo: 64 32 8
 BeginPrivate: 0
 EndPrivate
 TeXData: 1 0 0 631296 315648 210432 572416 -1048576 210432 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
@@ -18311,37 +18311,29 @@
 
 StartChar: macron
 Encoding: 175 175 217
-Width: 1233
-Flags: W
-TtInstrs:
-PUSHB_7
- 2
- 182
- 0
- 4
- 1
- 0
- 4
-SRP0
-MDRP[rp0,rnd,grey]
-MDRP[min,rnd,grey]
-IUP[x]
-SVTCA[y-axis]
-SRP0
-MDRP[rp0,rnd,grey]
-MIRP[min,rnd,grey]
-IUP[y]
-EndTTInstrs
-LayerCount: 2
-Fore
-SplineSet
-317 1526 m 1,0,-1
- 915 1526 l 1,1,-1
- 915 1378 l 1,2,-1
- 317 1378 l 1,3,-1
- 317 1526 l 1,0,-1
-EndSplineSet
-Validated: 1
+Width: 1558
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+915 778 m 1,0,-1
+ 1099 778 l 1,1,-1
+ 1099 1389 l 1,2,-1
+ 898 1348 l 1,3,-1
+ 898 1464 l 1,4,-1
+ 1105 1503 l 1,5,-1
+ 1229 1503 l 1,6,-1
+ 1229 778 l 1,7,-1
+ 1413 778 l 1,8,-1
+ 1413 668 l 1,9,-1
+ 915 668 l 1,10,-1
+ 915 778 l 1,0,-1
+123 1075 m 1,11,-1
+ 850 1075 l 1,12,-1
+ 850 980 l 1,13,-1
+ 123 980 l 1,14,-1
+ 123 1075 l 1,11,-1
+EndSplineSet
 EndChar
 
 StartChar: breve
diff -r f8f8270188b4 -r 6aa24ccd8049 lib/fonts/IsabelleTextBold.sfd
--- a/lib/fonts/IsabelleTextBold.sfd	Sat Nov 24 15:41:22 2018 +0100
+++ b/lib/fonts/IsabelleTextBold.sfd	Sat Nov 24 15:54:53 2018 +0100
@@ -21,7 +21,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050374980
-ModificationTime: 1515875431
+ModificationTime: 1543070590
 PfmFamily: 17
 TTFWeight: 700
 TTFWidth: 5
@@ -12511,70 +12511,52 @@
 
 StartChar: macron
 Encoding: 175 175 117
-Width: 1233
-Flags: W
-TtInstrs:
-PUSHB_6
- 2
- 0
- 4
- 1
- 0
- 4
-SRP0
-MDRP[rp0,rnd,grey]
-MDRP[min,rnd,grey]
-IUP[x]
-SVTCA[y-axis]
-SRP0
-MDRP[rp0,rnd,grey]
-MDRP[min,rnd,grey]
-IUP[y]
-SVTCA[y-axis]
-MPPEM
-PUSHB_1
- 10
-EQ
-IF
-PUSHW_6
- 4
- 64
- 1
- 4
- 4
- -64
-SHPIX
-SRP1
-SHZ[rp1]
-SHPIX
-EIF
-SVTCA[x-axis]
-MPPEM
-PUSHB_1
- 10
-EQ
-IF
-PUSHW_6
- 4
- -64
- 1
- 4
- 4
- 64
-SHPIX
-SRP1
-SHZ[rp1]
-SHPIX
-EIF
-EndTTInstrs
-LayerCount: 2
-Fore
-SplineSet
-301 1556 m 1,0,-1
- 932 1556 l 1,1,-1
- 932 1368 l 1,2,-1
- 301 1368 l 1,3,-1
- 301 1556 l 1,0,-1
+Width: 1558
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+915 818 m 1,0,-1
+ 1059 818 l 1,1,-1
+ 1059 1340.01711895 l 1,2,-1
+ 905.994580171 1308.80705819 l 1,3,-1
+ 858 1299.01711895 l 1,4,-1
+ 858 1348 l 1,5,-1
+ 858 1464 l 1,6,-1
+ 858 1497.16751231 l 1,7,-1
+ 890.594065205 1503.30842314 l 1,8,-1
+ 1097.59406521 1542.30842314 l 1,9,-1
+ 1101.26474238 1543 l 1,10,-1
+ 1105 1543 l 1,11,-1
+ 1229 1543 l 1,12,-1
+ 1269 1543 l 1,13,-1
+ 1269 1503 l 1,14,-1
+ 1269 818 l 1,15,-1
+ 1413 818 l 1,16,-1
+ 1453 818 l 1,17,-1
+ 1453 778 l 1,18,-1
+ 1453 668 l 1,19,-1
+ 1453 628 l 1,20,-1
+ 1413 628 l 1,21,-1
+ 915 628 l 1,22,-1
+ 875 628 l 1,23,-1
+ 875 668 l 1,24,-1
+ 875 778 l 1,25,-1
+ 875 818 l 1,26,-1
+ 915 818 l 1,0,-1
+123 1115 m 1,27,-1
+ 850 1115 l 1,28,-1
+ 890 1115 l 1,29,-1
+ 890 1075 l 1,30,-1
+ 890 980 l 1,31,-1
+ 890 940 l 1,32,-1
+ 850 940 l 1,33,-1
+ 123 940 l 1,34,-1
+ 83 940 l 1,35,-1
+ 83 980 l 1,36,-1
+ 83 1075 l 1,37,-1
+ 83 1115 l 1,38,-1
+ 123 1115 l 1,27,-1
 EndSplineSet
 EndChar
 
diff -r f8f8270188b4 -r 6aa24ccd8049 src/Pure/Admin/build_fonts.scala
--- a/src/Pure/Admin/build_fonts.scala	Sat Nov 24 15:41:22 2018 +0100
+++ b/src/Pure/Admin/build_fonts.scala	Sat Nov 24 15:54:53 2018 +0100
@@ -40,6 +40,7 @@
         0x06,  // Y
         0x07,  // EOF
         0x7f,  // DEL
+        0xaf,  // INVERSE
         0xac,  // logicalnot
         0xb0,  // degree
         0xb1,  // plusminus