www

commit 169c2ed0976e0fab15049a77ad7c987d4855673f
parent 7a979691044778f74306783b08a9b262ee8a1757
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu,  6 Feb 2014 12:33:37 -0500

Fix size of accents in STIX and STIX-Web fonts.  Resolves issue #715.

Diffstat:
M
unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
 | 
10
++++++++--
M
unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
 | 
8
+++++++-
M
unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js
 | 
8
+++++++-

3 files changed, 22 insertions(+), 4 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
@@ -21,7 +21,7 @@
 
 (function (HTMLCSS,MML,AJAX) {
 
-    var VERSION = "2.3";
+  var VERSION = "2.3";
 
   var ALPHABETSBOLDITALIC = "STIXMathJax_Alphabets-bold-italic",
       ALPHABETSBOLD = "STIXMathJax_Alphabets-bold",
@@ -241,7 +241,13 @@
       },
 
       REMAPACCENT: {
-        "\u2192": "\u20D7"
+        "\u007E": "\u0303",
+        "\u2192": "\u20D7",
+        "\u0060": "\u0300",
+        "\u005E": "\u0302",
+        "\u00B4": "\u0301",
+        "\u2032": "\u0301",
+        "\u2035": "\u0300"
       },
 
       REMAPACCENTUNDER: {
diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
@@ -137,7 +137,13 @@
       },
       
       REMAPACCENT: {
-        "\u2192": "\u20D7"
+        "\u007E": "\u0303",
+        "\u2192": "\u20D7",
+        "\u0060": "\u0300",
+        "\u005E": "\u0302",
+        "\u00B4": "\u0301",
+        "\u2032": "\u0301",
+        "\u2035": "\u0300"
       },
       REMAPACCENTUNDER: {
       },
diff --git a/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js b/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js
@@ -238,7 +238,13 @@
       },
 
       REMAPACCENT: {
-        "\u2192": "\u20D7"
+        "\u007E": "\u0303",
+        "\u2192": "\u20D7",
+        "\u0060": "\u0300",
+        "\u005E": "\u0302",
+        "\u00B4": "\u0301",
+        "\u2032": "\u0301",
+        "\u2035": "\u0300"
       },
 
       REMAPACCENTUNDER: {