From 169c2ed0976e0fab15049a77ad7c987d4855673f Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Thu, 6 Feb 2014 12:33:37 -0500
Subject: [PATCH] Fix size of accents in STIX and STIX-Web fonts.  Resolves
 issue #715.

---
 .../jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js     | 10 ++++++++--
 unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js    |  8 +++++++-
 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
index b08aaf66d..502c00e40 100644
--- 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
index f18ed3ead..8b74088fc 100644
--- 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
index f87c8d271..28212f20f 100644
--- 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: {