From b917b1a0c5c8d67188e7184e8b32b0c81578f556 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Wed, 1 Apr 2015 17:15:03 -0400 Subject: [PATCH] Get the font name right in the @font-face directivs. (argh) --- unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js index 067f78e4d..7051705fd 100644 --- a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js +++ b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js @@ -1660,7 +1660,7 @@ // The web font, if no local font found // ### FIXME: add more formats to src // - font = {"font-family":family+"w", src:"url('"+DIR+"/"+name+".otf')"}; + font = {"font-family":family+"w", src:"url('"+DIR+"/"+name+"-"+variant+".otf')"}; faces.push(font); // // A class that looks for the local and web fonts