www

commit c2c33b634e63efcd75ae554a2b711fae6be3882e
parent 64ed60ac51150061ae5d745b72ba19f766869c20
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sat, 18 Apr 2015 06:57:27 -0400

Fix @font-face to work with IE8.

Diffstat:
M
unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
 | 
8
++++----

1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
@@ -1664,10 +1664,10 @@
       //
       //  The web font, if no local font found
       //
-      font = {"font-family":family+"w",
-        src: [
-//          "url('"+EOTDIR+"/"+name+"-"+variant+".eot?#iefix') format('embedded-opentype')",
-          "url('"+EOTDIR+"/"+name+"-"+variant+".eot') format('embedded-opentype')",
+      font = {
+        "font-family": family+"w",
+        "src /*1*/": "url('"+EOTDIR+"/"+name+"-"+variant+".eot')", // for IE8
+        "src /*2*/": [
           "url('"+WOFFDIR+"/"+name+"-"+variant+".woff') format('woff')",
           "url('"+OTFDIR+"/"+name+"-"+variant+".otf') format('opentype')"
         ].join(", ")