From 3f8f21a3bee9551c12cdc625f35745226fc27d99 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sat, 21 Jan 2012 18:10:11 -0500 Subject: [PATCH] Add STIXversion to FONTDATA and fix typo in delimiter adjustments for 1.0 --- .../HTML-CSS/fonts/STIX/fontdata-1.0.js | 2 +- .../HTML-CSS/fonts/STIX/fontdata-beta.js | 2 +- jax/output/HTML-CSS/fonts/STIX/fontdata.js | 2 +- .../HTML-CSS/fonts/STIX/fontdata-1.0.js | 22 ++++++++++--------- .../HTML-CSS/fonts/STIX/fontdata-beta.js | 4 +++- .../output/HTML-CSS/fonts/STIX/fontdata.js | 1 + 6 files changed, 19 insertions(+), 14 deletions(-) diff --git a/jax/output/HTML-CSS/fonts/STIX/fontdata-1.0.js b/jax/output/HTML-CSS/fonts/STIX/fontdata-1.0.js index 35c476a7e..e4885a7c5 100644 --- a/jax/output/HTML-CSS/fonts/STIX/fontdata-1.0.js +++ b/jax/output/HTML-CSS/fonts/STIX/fontdata-1.0.js @@ -12,5 +12,5 @@ * http://www.apache.org/licenses/LICENSE-2.0 */ -(function(b,a){var c=function(f,g,d){var e="STIX"+f.replace(/\/[^\/]*$/,"").replace(/\//,"-").replace(/-Regular/,"");e=e.replace(/-B/,"-b").replace(/-I/,"-i").replace(/-boldItalic/,"-bold-italic");a.Register.LoadHook(b.fontDir+"/"+f+".js",function(){var k=b.FONTDATA.FONTS[e];for(var l in g){if(g.hasOwnProperty(l)){k[l]=g[l]}}if(d){for(var j=0,h=d.length;j534){t.STIXfontBug=true}}});if(MathJax.Hub.Browser.STIXfontBug){i.FONTDATA.FONTS.STIXGeneral.family="STIXGeneral-Regular";i.FONTDATA.FONTS["STIXGeneral-italic"].family="STIXGeneral-Italic";delete i.FONTDATA.FONTS["STIXGeneral-italic"].style}var e=[];var m=i.Font.div;p.addElement(m,"span",{style:{display:"inline-block","font-family":"STIXNonUnicode","font-weight":"bold"}},["\uE38C\uE38C\uE38C\uE38C\uE38C"]);p.addElement(m,"span",{style:{display:"inline-block","font-family":"STIXNonUnicode","font-weight":"bold"}},["\uE39A\uE39A\uE39A\uE39A\uE39A"]);if(m.lastChild.previousSibling.offsetWidth534){t.STIXfontBug=true}}});if(MathJax.Hub.Browser.STIXfontBug){i.FONTDATA.FONTS.STIXGeneral.family="STIXGeneral-Regular";i.FONTDATA.FONTS["STIXGeneral-italic"].family="STIXGeneral-Italic";delete i.FONTDATA.FONTS["STIXGeneral-italic"].style}var e=[];var m=i.Font.div;p.addElement(m,"span",{style:{display:"inline-block","font-family":"STIXNonUnicode","font-weight":"bold"}},["\uE38C\uE38C\uE38C\uE38C\uE38C"]);p.addElement(m,"span",{style:{display:"inline-block","font-family":"STIXNonUnicode","font-weight":"bold"}},["\uE39A\uE39A\uE39A\uE39A\uE39A"]);if(m.lastChild.previousSibling.offsetWidth