From c2c33b634e63efcd75ae554a2b711fae6be3882e Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sat, 18 Apr 2015 06:57:27 -0400 Subject: [PATCH] Fix @font-face to work with IE8. --- 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 index 11f74e7e4..9fdcf3c98 100644 --- 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(", ")