www

commit 0a337592417f02bf1112a1a850b50f373c0af595
parent 0740dd4735cee63809c1228ae69bb2531e03c3fe
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon,  1 Feb 2016 11:07:25 -0500

Add text-rending:optimizeLegibility to integrals and other characters that extend well past their width.  Resolves issue #1009

Diffstat:
M
unpacked/jax/output/HTML-CSS/jax.js
 | 
5
++++-

1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -1606,6 +1606,8 @@
               + String.fromCharCode((N&0x3FF)+0xDC00);
         }
       }
+      if (HTMLCSS.ffFontOptimizationBug && c[4] - c[2] > 125)
+        {span.style.textRendering = "optimizeLegibility"}
       if (C.rfix) {this.addText(span,text+C.c); HTMLCSS.createShift(span,C.rfix/1000); return ""}
       if (c[2] || !this.msieAccentBug || text.length) {return text + C.c}
       //  Handle IE accent clipping bug
@@ -3107,7 +3109,8 @@
         HTMLCSS.Augment({
           ffVerticalAlignBug: !browser.versionAtLeast("20.0"),  // not sure when this bug was fixed
           AccentBug: true,
-          allowWebFonts: webFonts
+          allowWebFonts: webFonts,
+          ffFontOptimizationBug: true
         });
       },