--- /dev/null
+/*
+ * plugins/spriteImageFonts.js
+ *
+ * Part of the jsMath package for mathematics on the web.
+ *
+ * This file makes jsMath use single files for the image fonts
+ * rather than individual images for each character.
+ *
+ * ---------------------------------------------------------------------
+ *
+ * Copyright 2006 by Davide P. Cervone
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+if (!window.jsMath) {window.jsMath = {}}
+
+jsMath.spriteImageFonts = {version: "1.1"};
+
+if (!jsMath.styles) {jsMath.styles = []}
+
+jsMath.styles['.typeset .img'] = {
+ position: 'relative',
+ display: 'inline-block',
+ overflow: 'hidden',
+ 'background-repeat': 'no-repeat'
+};
+jsMath.styles['.typeset .img .xy'] = {
+ position: 'relative',
+ left: '0px', top: '0px'
+};
+
+// for Mozilla
+jsMath.styles['.typeset .mimg'] = {position: 'relative'};
+jsMath.styles['.typeset .mimg .size'] = {display: '-moz-inline-box'};
+jsMath.styles['.typeset .mimg .wh'] = {
+ position: 'absolute',
+ left: '0px', top: '0px',
+ overflow: 'hidden'
+};
+jsMath.styles['.typeset .mimg .xy'] = {
+ position: 'relative',
+ left: '0px', top: '0px'
+};
+// for MSIE
+jsMath.styles['.typeset .mimg .h'] = {
+ position: 'relative',
+ display: 'inline-block',
+ width: '0px'
+};
+
+/*
+ * Replace the TeXIMG function with one that uses the sprite fonts
+ */
+if (!jsMath.Box) {jsMath.Box = {}}
+ jsMath.Box.TeXIMG = function (font,C,size) {
+ var c = jsMath.TeX[font][C];
+ if (c.img.reload && jsMath.Img[c.img.reload][font].loaded == 1)
+ {delete c.img.reload; c.img.size = null}
+ if (c.img.size != null && c.img.size == size &&
+ c.img.best != null && c.img.best == jsMath.Img.best) return;
+ var mustScale = (jsMath.Img.scale != 1);
+ var id = jsMath.Img.best + size - 4;
+ if (id < 0) {id = 0; mustScale = 1} else
+ if (id >= jsMath.Img.fonts.length) {id = jsMath.Img.fonts.length-1; mustScale = 1}
+ var imgFont = jsMath.Img[jsMath.Img.fonts[id]][font];
+ if (!imgFont.loaded && jsMath.Browser.waitForImages) {
+ // store information so several fonts can be loaded at once
+ jsMath.Img.mustLoad[jsMath.Img.mustLoad.length] = [font,jsMath.Img.fonts[id]];
+ imgFont.loaded = -1;
+ }
+ var img = imgFont[C];
+ var scale = 1/jsMath.Img.w[jsMath.Img.fonts[id]];
+ if (id != jsMath.Img.best + size - 4) {
+ if (c.w != null) {scale = c.w/img[0]} else {
+ scale *= jsMath.Img.fonts[size]/jsMath.Img.fonts[4]
+ * jsMath.Img.fonts[jsMath.Img.best]/jsMath.Img.fonts[id];
+ }
+ }
+
+ // get the metrics for the character glyph
+ var bScale = jsMath.Browser.imgScale;
+ if (img[3] == null) {img[3] = 0}
+ var w = (img[0]-img[3])*scale; var h = img[1]*scale; var d = -img[2]*scale;
+ var x = img[3]-imgFont.x[C%16]; var y = img[1]-img[2]-imgFont.y[Math.floor(C/16)];
+ var wh; var xy; var v;
+ var ladjust = ""; var resize = ""; var vadjust; var wadjust;
+
+ if ((mustScale || jsMath.Controls.cookie.scaleImg) && !jsMath.Browser.operaImageFonts) {
+ w += 2/jsMath.em; h += 2/jsMath.em; d -= 1/jsMath.em; y += 1; x += 1; // try to adjust for rounding errors
+ resize = "width:"+jsMath.HTML.Em(imgFont.wh[0]*scale*bScale)+";";
+ wh = "width:"+jsMath.HTML.Em(w*bScale)+";height:"+jsMath.HTML.Em(h*bScale)+";";
+ xy = "left:"+jsMath.HTML.Em(x*scale*bScale)+";top:"+jsMath.HTML.Em(y*scale*bScale)+";";
+ vadjust = "vertical-align:"+jsMath.HTML.Em(d*bScale)+";";
+ v = jsMath.HTML.Em(h+d);
+ if (img[3]) {ladjust = "margin-left:"+jsMath.HTML.Em(-img[3]*scale*bScale)+";"}
+ } else {
+ if (jsMath.Browser.msieAlphaBug && jsMath.Controls.cookie.alpha) {
+ resize = "height:"+(imgFont.wh[1]*jsMath.Browser.imgScale)+"px;"
+ + "width:"+(imgFont.wh[0]*jsMath.Browser.imgScale)+"px;";
+ }
+ wh = "width:"+img[0]+"px; height:"+img[1]+"px;";
+ xy = "left:"+x+"px; top:"+y+"px;";
+ vadjust = "vertical-align:"+(-img[2])+"px;"; v = (img[1]-img[2])+"px";
+ if (img[3]) {ladjust = "margin-left:"+(-img[3])+"px;"}
+ }
+
+ wadjust = (c.w == null || Math.abs(c.w-w) < .01)? "" : " margin-right:"+jsMath.HTML.Em(c.w-w)+';';
+ if (img[2] == 0 || jsMath.Browser.valignBug) {vadjust = ""}
+
+ // get the image
+ var URL = jsMath.Img.URL(font,jsMath.Img.fonts[id],C); var IMG;
+ if (jsMath.Browser.msieAlphaBug && jsMath.Controls.cookie.alpha) {
+ IMG = '<span class="xy" style="'+xy+'">'
+ + '<img src="'+jsMath.blank+'" style="' + resize
+ + 'filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src='
+ + "'" + URL + "', sizingMethod='scale'" + ');" />'
+ + '</span>';
+ } else {
+ IMG = '<img src="'+URL+'" class="xy" style="'+xy+resize+'" />';
+ }
+ if (imgFont.loaded == -1) {IMG = ""; c.img.reload = jsMath.Img.fonts[id]}
+
+ // get the HTML for cropping the image
+ c.c = this.IMG(IMG,wh,vadjust,wadjust,ladjust,v,x,y,URL);
+ c.tclass = "normal";
+ c.img.bh = h+d; c.img.bd = -d;
+ c.img.size = size; c.img.best = jsMath.Img.best;
+ };
+
+ /*
+ * Default uses inline-box containing an image
+ */
+ jsMath.Box.IMG = function (IMG,wh,vadjust,wadjust,ladjust,v,x,y,URL) {
+ return '<span class="img" style="'+wh+vadjust+wadjust+ladjust+'">'
+ + IMG + '</span>' + jsMath.Browser.msieImgFontBBoxFix;
+ };
+
+ /*
+ * Opera bug in inline-block alignment forces use of background image
+ */
+ jsMath.Box.IMG_opera = function (IMG,wh,vadjust,wadjust,ladjust,v,x,y,URL) {
+ var html = '<span class="img" style="background-image: url('+URL+');'
+ + wh + vadjust + 'background-position: '+x+'px '+y+'px"></span>';
+ if (wadjust || ladjust)
+ {html = '<span style="'+wadjust+ladjust+'">' + html + '</span>'}
+ return html;
+ };
+
+ /*
+ * Mozilla's -moz-inline-box has top aligned with baseline, so adjust
+ */
+ jsMath.Box.IMG_mozilla = function (IMG,wh,vadjust,wadjust,ladjust,v,x,y,URL) {
+ vadjust = "vertical-align:"+v+";";
+ var html = '<span class="mimg" style="'+vadjust+'">'
+ + '<span class="size" style="'+wh+'"></span>'
+ + '<span class="wh" style="'+wh+'">' + IMG + '</span>'
+ + '</span>';
+ if (wadjust || ladjust)
+ {html = '<span style="'+wadjust+ladjust+'">' + html + '</span>'}
+ return html;
+ };
+
+ /*
+ * MSIE screws up vadjust on inline-box elements, so use absolute
+ * positioning and an extra span to set the width and height
+ */
+ jsMath.Box.IMG_msie = function (IMG,wh,vadjust,wadjust,ladjust,v,x,y,URL) {
+ var html = '<span class="mimg">'
+ + '<span class="h" style="height:'+v+'">'
+ + '<span class="wh" style="'+wh+'">' + IMG + '</span>'
+ + '</span>'
+ + '<span class="img" style="'+wh+vadjust+'"></span>'
+ + '</span>';
+ if (wadjust || ladjust) {
+ html = jsMath.Browser.msieSpaceFix
+ + '<span style="'+wadjust+ladjust+'">' + html + '</span>';
+ }
+ return html;
+ };
+
+if (!jsMath.Img) {jsMath.Img = {}}
+
+ /*
+ * Called by the extra-font definition files to add an image font
+ * into the mix (save offset data and image size)
+ */
+ jsMath.Img.AddFont = function (size,def) {
+ if (!jsMath.Img[size]) {jsMath.Img[size] = {}};
+ for (var font in def) {
+ def[font].x = def[font][128]; def[font].y = def[font][129];
+ def[font].wh = def[font][130];
+ delete def[font][128]; delete def[font][129]; delete def[font][130];
+ }
+ jsMath.Add(jsMath.Img[size],def);
+ };
+
+ /*
+ * Get URL to directory for given font and size, based on the
+ * user's alpha/plain setting
+ */
+ jsMath.Img.URL = function (name,size) {
+ if (size == null) {return this.root+name+'/font.js'}
+ var type = (jsMath.Controls.cookie.alpha) ? '/alpha/': '/plain/';
+ return this.root+name+type+size+'.png';
+ };
+
+ /*
+ * Laod the data for an image font
+ */
+ jsMath.Img.LoadFont = function (name) {
+ if (jsMath.browser == 'OmniWeb' && !jsMath.Browser.hasInlineBlock) {
+ jsMath.noImgFonts = 1;
+ jsMath.Font.Check();
+ return;
+ }
+ if (!this.loaded) this.Init();
+ jsMath.Setup.Script(this.URL(name));
+ };
+
+ /*
+ * Setup for print mode
+ */
+ jsMath.Img.Init = function () {
+ if ((jsMath.Controls.cookie.print || jsMath.Controls.cookie.stayhires) && !jsMath.Browser.operaImgFonts) {
+ jsMath.Controls.cookie.print = jsMath.Controls.cookie.stayhires;
+ this.factor *= 3;
+ if (!jsMath.Controls.isLocalCookie || !jsMath.Global.isLocal) {jsMath.Controls.SetCookie(0)}
+ if (jsMath.Browser.alphaPrintBug) {jsMath.Controls.cookie.alpha = 0}
+ }
+ this.loaded = 1;
+ jsMath.Img.root = jsMath.root + "fonts-sprite/";
+ jsMath.version += "-sp" + jsMath.spriteImageFonts.version;
+ };
+
+
+if (!jsMath.Browser) {jsMath.Browser = {}}
+ /*
+ * Hook into initialization routine
+ */
+ jsMath.Browser.Init = function () {
+ jsMath.browser = 'unknown';
+ this.TestInlineBlock();
+ this.TestSpanHeight();
+ this.TestRenameOK();
+ this.TestStyleChange();
+
+ this.MSIE();
+ this.Mozilla();
+ this.Opera();
+ this.OmniWeb();
+ this.Safari();
+ this.Konqueror();
+
+ this.ImgFontInit();
+
+ //
+ // Change some routines depending on the browser
+ //
+ if (this.allowAbsoluteDelim) {
+ jsMath.Box.DelimExtend = jsMath.Box.DelimExtendAbsolute;
+ jsMath.Box.Layout = jsMath.Box.LayoutAbsolute;
+ } else {
+ jsMath.Box.DelimExtend = jsMath.Box.DelimExtendRelative;
+ jsMath.Box.Layout = jsMath.Box.LayoutRelative;
+ }
+
+ if (this.separateSkips) {
+ jsMath.HTML.Place = jsMath.HTML.PlaceSeparateSkips;
+ jsMath.Typeset.prototype.Place = jsMath.Typeset.prototype.PlaceSeparateSkips;
+ }
+ },
+
+ /*
+ * These should be part of the regular browser
+ * test functions
+ */
+ jsMath.Browser.ImgFontInit = function () {
+ this.msieImgFontBBoxFix = '';
+ if (jsMath.browser == 'Mozilla') {
+ if (!jsMath.Browser.VersionAtLeast("3.0")) {jsMath.Box.IMG = jsMath.Box.IMG_mozilla}
+ } else if (jsMath.browser == 'Opera') {
+ if (!jsMath.Browser.VersionAtLeast("9.50")) {
+ this.operaImageFonts = 1;
+ jsMath.Box.IMG = jsMath.Box.IMG_opera;
+ }
+ } else if (jsMath.browser == 'MSIE') {
+ if (jsMath.platform == 'mac') {
+ this.msieImgFontBBoxFix = '<span style="display:none">x</span>'
+ } else {
+ jsMath.Parser.prototype.oldTypeset = jsMath.Parser.prototype.Typeset;
+ jsMath.Parser.prototype.Typeset = jsMath.Parser.prototype.msieTypeset;
+ jsMath.Img.mustLoad = [];
+ this.msieImageFonts = 1;
+ jsMath.Controls.defaults.alpha = 0;
+ if (!jsMath.Controls.userSet.alpha) {jsMath.Controls.cookie.alpha = 0}
+ jsMath.Box.IMG = jsMath.Box.IMG_msie;
+ }
+ }
+ };
+
+if (!jsMath.Parser) {jsMath.Parser = {}}
+if (!jsMath.Parser.prototype) {jsMath.Parser.prototype = {}}
+ /*
+ * Handle loading of image files needed for this equation
+ * (avoids MSIE bug where it will request the image more
+ * than once if it is used more than once before it is
+ * loaded.)
+ */
+ jsMath.Parser.prototype.msieTypeset = function () {
+ var HTML = this.oldTypeset();
+ if (jsMath.Img.mustLoad.length > 0) {
+ for (var i = 0; i < jsMath.Img.mustLoad.length; i++) {
+ var IMG = jsMath.Img.URL(jsMath.Img.mustLoad[i][0],jsMath.Img.mustLoad[i][1]);
+ jsMath.Script.WaitForImage(IMG);
+ jsMath.Img[jsMath.Img.mustLoad[i][1]][jsMath.Img.mustLoad[i][0]].loaded = 1;
+ }
+ jsMath.Img.mustLoad = [];
+ jsMath.Translate.restart = 1;
+ throw "restart";
+ }
+ return HTML;
+ };
+
+/*
+ * Override the control panel calls in order to
+ * disable scaling in Opera.
+ */
+if (!jsMath.Controls) {jsMath.Controls = {}}
+ /*
+ * Add Opera calls to loading of control panel
+ */
+ jsMath.Controls.Panel = function () {
+ jsMath.Translate.Cancel();
+ if (this.loaded) {
+ this.Main();
+ } else {
+ jsMath.Script.delayedLoad(jsMath.root+"jsMath-controls.html");
+ jsMath.Script.Push(this,"OperaInit");
+ }
+ };
+
+ /*
+ * Disable hi-res fonts and image scaling in Opera
+ */
+ jsMath.Controls.OperaMain = function (init) {
+ if (!init) {this.OldMain()}
+ jsMath.Element("_resolution").disabled = true;
+ };
+
+ jsMath.Controls.OperaOptions = function () {
+ this.OldOptions();
+ jsMath.Element("_scaleImg").disabled = true;
+ jsMath.Element("_scaleImgText").className = "disabled";
+ };
+
+ jsMath.Controls.OperaInit = function () {
+ if (!jsMath.Browser.operaImageFonts) return;
+ this.OldMain = this.Main; this.Main = this.OperaMain;
+ this.OldOptions = this.Options; this.Options = this.OperaOptions;
+ this.OperaMain(1);
+ };