www

commit b917b1a0c5c8d67188e7184e8b32b0c81578f556
parent 47928642a20f4b615df4ffb0202420199a2dabf2
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed,  1 Apr 2015 17:15:03 -0400

Get the font name right in the @font-face directivs.  (argh)

Diffstat:
M
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
@@ -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