/* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */ /* vim: set ts=2 et sw=2 tw=80: */ /************************************************************* * * MathJax/jax/output/CommonHTML/jax.js * * Implements the CommonHTML OutputJax that displays mathematics * using HTML and CSS to position the characters from math fonts * in their proper locations. Unlike the HTML-CSS output jax, * this HTML is browswer and OS independent. * * --------------------------------------------------------------------- * * Copyright (c) 2013-2015 The MathJax Consortium * * 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. */ (function (AJAX,HUB,HTML,CHTML) { var MML; var EVENT, TOUCH, HOVER; // filled in later var SCRIPTFACTOR = Math.sqrt(1/2), AXISHEIGHT = .25, HFUZZ = .05, DFUZZ = 0; // adjustments to bounding box of character boxes var STYLES = { ".MathJax_CHTML_Display": { "display": "block", "text-align": "center", "margin": "1em 0" }, "mjx-math": { "display": "inline-block", "line-height": 0, "text-indent": 0, "white-space": "nowrap", "border-collapse":"collapse" }, "mjx-math *": {display:"inline-block", "text-align":"left"}, "mjx-mfrac": {"vertical-align":".25em"}, "mjx-fbox": {width:"100%"}, "mjx-ftable": {display:"table", width:"100%"}, "mjx-numerator": {display:"table-cell", "text-align":"center"}, "mjx-denominator": {display:"table-cell", "text-align":"center"}, ".MJXc-fpad": {"padding-left":".1em", "padding-right":".1em"}, "mjx-stack": {display:"inline-block"}, "mjx-op": {display:"block"}, "mjx-under": {display:"table-cell"}, "mjx-over": {display:"block"}, "mjx-stack > mjx-sup": {display:"block"}, "mjx-stack > mjx-sub": {display:"block"}, "mjx-delim-v > mjx-char": {transform:"scale(1)"}, // for Firefox to get horizontal alignment better "mjx-delim-h": {display:"block"}, "mjx-delim-h > mjx-char": { transform:"scale(1)", display:"inline-block", "vertical-align":"top" }, "mjx-surd": {"vertical-align":"top!important"}, "mjx-mphantom": {visibility:"hidden"}, "mjx-merror": { "background-color":"#FFFF88", color: "#CC0000", border: "1px solid #CC0000", padding: "2px 3px", "font-style": "normal", "font-size": "90%" }, "mjx-box": {display:"inline-block"}, "mjx-block": {display:"block"}, "mjx-char": {display:"block"}, "mjx-itable": {display:"inline-table"}, "mjx-row": {display:"table-row"}, "mjx-cell": {display:"table-cell"}, "mjx-table": {display:"table", width:"100%"}, "mjx-line": {display:"block", width:"100%", "border-top":"0 solid"}, ".MJXc-script": {"font-size":SCRIPTFACTOR+"em"}, /*********************************/ ".MJXc-mtable": {"vertical-align":AXISHEIGHT+"em", "margin":"0 .125em"}, ".MJXc-mtable > span": {"display":"inline-table!important", "vertical-align":"middle"}, ".MJXc-mtr": {"display":"table-row!important"}, ".MJXc-mtd": {"display":"table-cell!important", "text-align":"center", "padding":".5em 0 0 .5em"}, ".MJXc-mtr > .MJXc-mtd:first-child": {"padding-left":0}, ".MJXc-mtr:first-child > .MJXc-mtd": {"padding-top":0}, ".MJXc-mlabeledtr": {"display":"table-row!important"}, ".MJXc-mlabeledtr > .MJXc-mtd:first-child": {"padding-left":0}, ".MJXc-mlabeledtr:first-child > .MJXc-mtd": {"padding-top":0} }; /************************************************************/ var BIGDIMEN = 1000000; var V = "V", H = "H"; CHTML.Augment({ settings: HUB.config.menuSettings, config: {styles: STYLES}, /********************************************/ Config: function () { if (!this.require) {this.require = []} this.SUPER(arguments).Config.call(this); var settings = this.settings; if (settings.scale) {this.config.scale = settings.scale} this.require.push(this.fontDir+"/TeX/fontdata.js"); this.require.push(MathJax.OutputJax.extensionDir+"/MathEvents.js"); }, Startup: function () { // // Set up event handling // EVENT = MathJax.Extension.MathEvents.Event; TOUCH = MathJax.Extension.MathEvents.Touch; HOVER = MathJax.Extension.MathEvents.Hover; this.ContextMenu = EVENT.ContextMenu; this.Mousedown = EVENT.AltContextMenu; this.Mouseover = HOVER.Mouseover; this.Mouseout = HOVER.Mouseout; this.Mousemove = HOVER.Mousemove; // // Determine pixels per inch // var div = HTML.addElement(document.body,"div",{style:{width:"5in"}}); this.pxPerInch = div.offsetWidth/5; div.parentNode.removeChild(div); // // Set up styles and preload web fonts // return AJAX.Styles(this.config.styles,["InitializeCHTML",this]); }, InitializeCHTML: function () { }, /********************************************/ preTranslate: function (state) { var scripts = state.jax[this.id], i, m = scripts.length, script, prev, span, div, jax; // // Loop through the scripts // for (i = 0; i < m; i++) { script = scripts[i]; if (!script.parentNode) continue; // // Remove any existing output // prev = script.previousSibling; if (prev && String(prev.className).match(/^MathJax_CHTML(_Display)?( MathJax_Processing)?$/)) {prev.parentNode.removeChild(prev)} // // Add the span, and a div if in display mode, // then set the role and mark it as being processed // jax = script.MathJax.elementJax; if (!jax) continue; jax.CHTML = {display: (jax.root.Get("display") === "block")} span = div = HTML.Element("span",{ className:"MathJax_CHTML", id:jax.inputID+"-Frame", isMathJax:true, jaxID:this.id, oncontextmenu:EVENT.Menu, onmousedown: EVENT.Mousedown, onmouseover:EVENT.Mouseover, onmouseout:EVENT.Mouseout, onmousemove:EVENT.Mousemove, onclick:EVENT.Click, ondblclick:EVENT.DblClick }); if (HUB.Browser.noContextMenu) { span.ontouchstart = TOUCH.start; span.ontouchend = TOUCH.end; } if (jax.CHTML.display) { div = HTML.Element("div",{className:"MathJax_CHTML_Display"}); div.appendChild(span); } // div.className += " MathJax_Processing"; script.parentNode.insertBefore(div,script); } /* * state.CHTMLeqn = state.CHTMLlast = 0; state.CHTMLi = -1; * state.CHTMLchunk = this.config.EqnChunk; * state.CHTMLdelay = false; */ }, /********************************************/ Translate: function (script,state) { if (!script.parentNode) return; /* * // * // If we are supposed to do a chunk delay, do it * // * if (state.CHTMLdelay) { * state.CHTMLdelay = false; * HUB.RestartAfter(MathJax.Callback.Delay(this.config.EqnChunkDelay)); * } */ // // Get the data about the math // var jax = script.MathJax.elementJax, math = jax.root, span = document.getElementById(jax.inputID+"-Frame"), div = (jax.CHTML.display ? span.parentNode : span); // // Typeset the math // this.initCHTML(math,span); math.setTeXclass(); try {math.toCommonHTML(span)} catch (err) { while (span.firstChild) span.removeChild(span.firstChild); throw err; } // // Put it in place, and remove the processing marker // div.className = div.className.split(/ /)[0]; // // Check if we are hiding the math until more is processed // if (this.hideProcessedMath) { // // Hide the math and don't let its preview be removed // div.className += " MathJax_Processed"; if (script.MathJax.preview) { jax.CHTML.preview = script.MathJax.preview; delete script.MathJax.preview; } /* * // * // Check if we should show this chunk of equations * // * state.CHTMLeqn += (state.i - state.CHTMLi); state.CHTMLi = state.i; * if (state.CHTMLeqn >= state.CHTMLlast + state.CHTMLchunk) { * this.postTranslate(state); * state.CHTMLchunk = Math.floor(state.CHTMLchunk*this.config.EqnChunkFactor); * state.CHTMLdelay = true; // delay if there are more scripts * } */ } }, initCHTML: function (math,span) {}, /********************************************/ postTranslate: function (state) { var scripts = state.jax[this.id]; if (!this.hideProcessedMath) return; for (var i = 0, m = scripts.length; i < m; i++) { var script = scripts[i]; if (script && script.MathJax.elementJax) { // // Remove the processed marker // script.previousSibling.className = script.previousSibling.className.split(/ /)[0]; var data = script.MathJax.elementJax.CHTML; // // Remove the preview, if any // if (data.preview) { data.preview.innerHTML = ""; script.MathJax.preview = data.preview; delete data.preview; } } } /* * // * // Reveal this chunk of math * // * for (var i = state.CHTMLlast, m = state.CHTMLeqn; i < m; i++) { * var script = scripts[i]; * if (script && script.MathJax.elementJax) { * // * // Remove the processed marker * // * script.previousSibling.className = script.previousSibling.className.split(/ /)[0]; * var data = script.MathJax.elementJax.CHTML; * // * // Remove the preview, if any * // * if (data.preview) { * data.preview.innerHTML = ""; * script.MathJax.preview = data.preview; * delete data.preview; * } * } * } * // * // Save our place so we know what is revealed * // * state.CHTMLlast = state.CHTMLeqn; */ }, /********************************************/ getJaxFromMath: function (math) { if (math.parentNode.className === "MathJax_CHTML_Display") {math = math.parentNode} do {math = math.nextSibling} while (math && math.nodeName.toLowerCase() !== "script"); return HUB.getJaxFor(math); }, getHoverSpan: function (jax,math) {return jax.root.CHTMLnodeElement()}, getHoverBBox: function (jax,span,math) { // var bbox = span.CHTML, em = jax.CHTML.outerEm; // var BBOX = {w:bbox.w*em, h:bbox.h*em, d:bbox.d*em}; // if (bbox.width) {BBOX.width = bbox.width} return BBOX; }, Zoom: function (jax,span,math,Mw,Mh) { // // Re-render at larger size // span.className = "MathJax"; this.idPostfix = "-zoom"; jax.root.toCommonHTML(span,span); this.idPostfix = ""; // // Get height and width of zoomed math and original math // span.style.position = "absolute"; var zW = span.offsetWidth, zH = span.offsetHeight, mH = math.offsetHeight, mW = math.offsetWidth; if (mW === 0) {mW = math.parentNode.offsetWidth}; // IE7 gets mW == 0? span.style.position = math.style.position = ""; // return {Y:-EVENT.getBBox(span).h, mW:mW, mH:mH, zW:zW, zH:zH}; }, Remove: function (jax) { var span = document.getElementById(jax.inputID+"-Frame"); if (span) { if (jax.CHTML.display) {span = span.parentNode} span.parentNode.removeChild(span); } delete jax.CHTML; }, /********************************************/ ID: 0, idPostfix: "", GetID: function () {this.ID++; return this.ID}, MATHSPACE: { veryverythinmathspace: 1/18, verythinmathspace: 2/18, thinmathspace: 3/18, mediummathspace: 4/18, thickmathspace: 5/18, verythickmathspace: 6/18, veryverythickmathspace: 7/18, negativeveryverythinmathspace: -1/18, negativeverythinmathspace: -2/18, negativethinmathspace: -3/18, negativemediummathspace: -4/18, negativethickmathspace: -5/18, negativeverythickmathspace: -6/18, negativeveryverythickmathspace: -7/18, thin: .04, medium: .06, thick: .1, infinity: BIGDIMEN }, pxPerInch: 96, em: 16, FONTDEF: {}, TEXDEF: { x_height: .442, quad: 1, num1: .676508, num2: .393732, num3: .44373, denom1: .685951, denom2: .344841, sup1: .412892, sup2: .362892, sup3: .288888, sub1: .15, sub2: .247217, sup_drop: .386108, sub_drop: .05, delim1: 2.39, delim2: 1.0, axis_height: .25, rule_thickness: .06, big_op_spacing1: .111111, big_op_spacing2: .166666, big_op_spacing3: .2, big_op_spacing4: .6, big_op_spacing5: .1, surd_height: .1, scriptspace: .05, nulldelimiterspace: .12, delimiterfactor: 901, delimitershortfall: .3, min_rule_thickness: 1.25 // in pixels }, /********************************************************/ getUnicode: function (string) { var n = string.text.charCodeAt(string.i); string.i++; if (n >= 0xD800 && n < 0xDBFF) { n = (((n-0xD800)<<10)+(string.text.charCodeAt(string.i)-0xDC00))+0x10000; string.i++; } return n; }, getCharList: function (variant,n) { var id, M, list = [], cache = variant.cache, N = n; if (cache[n]) return cache[n]; var RANGES = this.FONTDATA.RANGES, VARIANT = this.FONTDATA.VARIANT; if (n >= RANGES[0].low && n <= RANGES[RANGES.length-1].high) { for (id = 0, M = RANGES.length; id < M; id++) { if (RANGES[id].name === "alpha" && variant.noLowerCase) continue; var N = variant["offset"+RANGES[id].offset]; if (N && n >= RANGES[id].low && n <= RANGES[id].high) { if (RANGES[id].remap && RANGES[id].remap[n]) { n = N + RANGES[id].remap[n]; } else { n = n - RANGES[id].low + N; if (RANGES[id].add) {n += RANGES[id].add} } if (variant["variant"+RANGES[id].offset]) variant = VARIANT[variant["variant"+RANGES[id].offset]]; break; } } } if (variant.remap && variant.remap[n]) { n = variant.remap[n]; if (variant.remap.variant) {variant = VARIANT[variant.remap.variant]} } else if (this.FONTDATA.REMAP[n] && !variant.noRemap) { n = this.FONTDATA.REMAP[n]; } if (n instanceof Array) {variant = VARIANT[n[1]]; n = n[0]} if (typeof(n) === "string") { var string = {text:n, i:0, length:n.length}; while (string.i < string.length) { n = this.getUnicode(string); var chars = this.getCharList(variant,n); if (chars) list.push.apply(list,chars); } } else { if (variant.cache[n]) {list = variant.cache[n]} else {variant.cache[n] = list = [this.lookupChar(variant,n)]} } cache[N] = list; return list; }, lookupChar: function (variant,n) { while (variant) { for (var i = 0, m = variant.fonts.length; i < m; i++) { var font = this.FONTDATA.FONTS[variant.fonts[i]]; // if (typeof(font) === "string") this.loadFont(font); var C = font[n]; if (C) { // ### FIXME: implement aliases, spaces, etc. if (C.length === 5) C[5] = {}; if (C.c == null) { C[0] /= 1000; C[1] /= 1000; C[2] /= 1000; C[3] /= 1000; C[4] /= 1000; if (n <= 0xFFFF) { C.c = String.fromCharCode(n); } else { var N = n - 0x10000; C.c = String.fromCharCode((N>>10)+0xD800) + String.fromCharCode((N&0x3FF)+0xDC00); } } return {type:"char", font:font, n:n}; } // else load block files? } variant = this.FONTDATA.VARIANT[variant.chain]; } return this.unknownChar(variant,n); }, unknownChar: function (variant,n) {}, /********************************************************/ addCharList: function (node,list,bbox) { var text = "", className; for (var i = 0, m = list.length; i < m; i++) { var item = list[i]; switch (item.type) { case "char": var font = item.font; if (className && font.className !== className) { HTML.addElement(node,"span",{className:className},[text]); text = ""; className = null; } var C = font[item.n]; text += C.c; className = font.className; if (bbox.h < C[0]) bbox.t = bbox.h = C[0]; if (bbox.d < C[1]) bbox.b = bbox.d = C[1]; if (bbox.l > bbox.w+C[3]) bbox.l = bbox.w+C[3]; if (bbox.r < bbox.w+C[4]) bbox.r = bbox.w+C[4]; bbox.w += C[2]; if (bbox.H < font.ascent) bbox.H = font.ascent; if (bbox.D < font.descent) bbox.D = font.descent; if (m == 1 && font.skew && font.skew[item.n]) bbox.skew = font.skew[item.n]; } } if (node.childNodes.length) { HTML.addElement(node,"span",{className:className},[text]); } else { HTML.addText(node,text); node.className = className; } }, handleText: function (node,text,variant,bbox) { if (node.childNodes.length === 0) { HTML.addElement(node,"mjx-char"); bbox = CHTML.emptyBBox(); } var string = {text:text, i:0, length:text.length}; if (typeof(variant) === "string") variant = this.FONTDATA.VARIANT[variant]; if (!variant) variant = this.FONTDATA.VARIANT[MML.VARIANT.NORMAL]; var list = []; while (string.i < string.length) { var n = this.getUnicode(string); list.push.apply(list,this.getCharList(variant,n)); } this.addCharList(node.firstChild,list,bbox); this.cleanBBox(bbox); bbox.h += HFUZZ; bbox.d += DFUZZ; bbox.t += HFUZZ; bbox.b += DFUZZ; var a = (bbox.H-bbox.D)/2; // center of font (line-height:0) if (a < bbox.h) {node.firstChild.style.paddingTop = this.Em(bbox.h-a)} else {node.firstChild.style.marginTop = this.Em(bbox.h-a)} // ### FIXME: Safari doesn't center, so clip bbox.d at 0 and adjust later? if (bbox.d+1 > 0) {node.firstChild.style.paddingBottom = this.Em(bbox.d+a)} else {node.firstChild.style.marginBottom = this.Em(bbox.d+a)} return bbox; }, /********************************************************/ createDelimiter: function (node,code,HW,scale,font) { var bbox = this.zeroBBox(); if (!code) { bbox.w = bbox.r = this.TEX.nulldelimiterspace; HTML.addElement(node,"mjx-box",{style:{width:bbox.w}}); return bbox; } if (!scale) scale = 1; if (!(HW instanceof Array)) HW = [HW,HW]; var hw = HW[1]; HW = HW[0]; var delim = {alias: code}; while (delim.alias) { code = delim.alias; delim = this.FONTDATA.DELIMITERS[code]; if (!delim) {delim = {HW: [0,this.FONTDATA.VARIANT[MML.VARIANT.NORMAL]]}} } // if (delim.load) {HUB.RestartAfter(AJAX.Require(this.fontDir+"/fontdata-"+delim.load+".js"))} for (var i = 0, m = delim.HW.length; i < m; i++) { if (delim.HW[i][0]*scale >= HW-.01 || (i == m-1 && !delim.stretch)) { if (delim.HW[i][2]) scale *= delim.HW[i][2]; if (delim.HW[i][3]) code = delim.HW[i][3]; var BBOX = this.createChar(node,[code,delim.HW[i][1]],scale,font); BBOX.offset = .6 * BBOX.w; return BBOX; } } if (!delim.stretch) return bbox; return this["extendDelimiter"+delim.dir](node,hw,delim.stretch,scale,font); }, extendDelimiterV: function (node,H,delim,scale,font) { node = HTML.addElement(node,"mjx-delim-v"); var tmp = HTML.Element("span"); var top, bot, mid, ext, tbox, bbox, mbox, ebox, k = 1; tbox = this.createChar(tmp,(delim.top||delim.ext),scale,font); top = tmp.removeChild(tmp.firstChild); bbox = this.createChar(tmp,(delim.bot||delim.ext),scale,font); bot = tmp.removeChild(tmp.firstChild); mbox = ebox = this.zeroBBox(); var h = tbox.h + tbox.d + bbox.h + bbox.d; node.appendChild(top); if (delim.mid) { mbox = this.createChar(tmp,delim.mid,scale,font); mid = tmp.removeChild(tmp.firstChild); h += mbox.h + mbox.d; k = 2; } if (delim.min && H < h*delim.min) H = h*delim.min; if (H > h) { ebox = this.createChar(tmp,delim.ext,scale,font); ext = tmp.removeChild(tmp.firstChild); if (delim.fullExtenders) { var n = Math.ceil((H-h)/(k*(ebox.h+ebox.d)*.9)); H = .9*n*k*(ebox.h+ebox.d) + h; } var s = 1.1*(H - h)/k + .2*k; // space to cover by extender s /= (ebox.h+ebox.d); // scale factor; var a = (ebox.H-ebox.D)/2; // center of font this.Transform(ext, "translateY("+CHTML.Em(-(a+ebox.d)+.05)+") scaleY("+s.toFixed(3).replace(/0+$/,"")+")", "left "+CHTML.Em(a+ebox.d) ); ext.style.paddingTop=ext.style.paddingBottom = 0; top.style.marginBottom = CHTML.Em((H-h)/k); node.appendChild(ext); if (delim.mid) { node.appendChild(mid); mid.style.marginBottom = top.style.marginBottom; node.appendChild(ext.cloneNode(true)); } } else { H = h - .25; top.style.marginBottom = "-.25em"; if (delim.mid) { node.appendChild(mid); mid.style.marginBottom = "-.3em"; H -= .1; } } node.appendChild(bot); var BBOX = { w: Math.max(tbox.w,ebox.w,bbox.w,mbox.w), l: Math.min(tbox.l,ebox.l,bbox.l,mbox.l), r: Math.max(tbox.r,ebox.r,bbox.r,mbox.r), h: H-bbox.d, d: bbox.d, t: H-bbox.d, b: bbox.d }; BBOX.offset = .5 * BBOX.w; return BBOX; }, extendDelimiterH: function (node,W,delim,scale,font) { node = HTML.addElement(node,"mjx-delim-h"); var tmp = HTML.Element("span"); var left, right, mid, ext, ext2, lbox, rbox, mbox, ebox, k = 1; lbox = this.createChar(tmp,(delim.left||delim.rep),scale,font); left = tmp.removeChild(tmp.firstChild); rbox = this.createChar(tmp,(delim.right||delim.rep),scale,font); right = tmp.removeChild(tmp.firstChild); node.appendChild(left); var BBOX = this.zeroBBox(); BBOX.h = Math.max(lbox.h,rbox.h); BBOX.d = Math.max(lbox.d,rbox.d); left.style.marginLeft = CHTML.Em(-lbox.l); left.style.marginRight = CHTML.Em(lbox.r-lbox.w); right.style.marginleft = CHTML.Em(-rbox.l); right.style.marginRight = CHTML.Em(rbox.r-rbox.w); var w = (lbox.r - lbox.l) + (rbox.r - rbox.l) - .05; if (delim.mid) { mbox = this.createChar(tmp,delim.mid,scale,font); mid = tmp.removeChild(tmp.firstChild); w += mbox.w; k = 2; if (mbox.h > BBOX.h) BBOX.h = mbox.h; if (mbox.d < BBOX.d) BBOX.d = mbox.d; } if (delim.min && W < w*delim.min) W = w*delim.min; right.style.marginLeft = CHTML.Em((W-w-rbox.l)/k); BBOX.w = BBOX.r = W; BBOX.H = lbox.H; BBOX.D = lbox.D; if (W > w) { ebox = this.createChar(tmp,delim.rep,scale,font); ext = tmp.removeChild(tmp.firstChild); if (ebox.h > BBOX.h) BBOX.h = ebox.h; if (ebox.d < BBOX.d) BBOX.d = ebox.d; BBOX.H = ebox.H; BBOX.D = ebox.D; var s = (W - w)/k + .2; // space to cover by extender s /= (ebox.r - ebox.l); // scale factor this.Transform(ext, "translateX("+CHTML.Em(-ebox.l-.1)+") scaleX("+s.toFixed(3).replace(/0+$/,"")+")", CHTML.Em(ebox.l)+" center" ); ext.style.width = 0; node.appendChild(ext); if (delim.mid) { node.appendChild(mid); mid.style.marginLeft = right.style.marginLeft; ext2 = node.appendChild(ext.cloneNode(true)); } } else { if (delim.mid) { node.appendChild(mid); mid.style.marginLeft = CHTML.Em((W-w)/k); } } node.appendChild(right); this.adjustTops([left,ext,mid,ext2,right]); BBOX.t = BBOX.h; BBOX.b = BBOX.d; if (ext) { if (BBOX.h !== ebox.h) node.style.marginTop = CHTML.Em(ebox.h - BBOX.h); if (BBOX.d !== ebox.d) node.style.marginBottom = CHTML.Em(ebox.d - BBOX.d); BBOX.h = ebox.h; BBOX.d = ebox.d; } return BBOX; }, adjustTops: function (nodes) { // // to get alignment right in horizontal delimiters, we force all // the elements to the same height and align to top // var i, m = nodes.length, T = 0; for (i = 0; i < m; i++) { if (nodes[i] && nodes[i].style.paddingTop) { var t = this.unEm(nodes[i].style.paddingTop); if (t > T) T = t; } } for (i = 0; i < m; i++) if (nodes[i]) nodes[i].style.paddingTop = CHTML.Em(T); }, createChar: function (node,data,scale,font) { // ### FIXME: handle cache better (by data[1] and font) var text = "", variant = {fonts: [data[1]], noRemap:true, cache:{}}; if (font && font === MML.VARIANT.BOLD) variant.fonts = [data[1]+"-bold",data[1]]; if (typeof(data[1]) !== "string") variant = data[1]; if (data[0] instanceof Array) { for (var i = 0, m = data[0].length; i < m; i++) text += String.fromCharCode(data[0][i]); } else text = String.fromCharCode(data[0]); if (data[4]) scale *= data[4]; if (scale !== 1) node.style.fontSize = this.Percent(scale); var bbox = this.handleText(node,text,variant); if (data[2]) { // x offset node.style.paddingLeft = this.Em(data[2]); bbox.w += data[2]; bbox.r += data[2]; } if (data[3]) { // y offset node.style.verticalAlign = this.Em(data[3]); bbox.h += data[3]; if (bbox.h < 0) bbox.h = 0; } if (data[5]) { // extra height node.style.marginTop = this.Em(data[5]); bbox.h += data[5]; bbox.t += data[5]; } if (data[6]) { // extra depth node.style.marginBottom = this.Em(data[6]); bbox.d += data[6]; bbox.b += data[6]; } return bbox; }, /********************************************************/ // // ### FIXME: Handle mu's // length2em: function (length,size) { if (typeof(length) !== "string") {length = length.toString()} if (length === "") {return ""} if (length === MML.SIZE.NORMAL) {return 1} if (length === MML.SIZE.BIG) {return 2} if (length === MML.SIZE.SMALL) {return .71} if (this.MATHSPACE[length]) {return this.MATHSPACE[length]} var match = length.match(/^\s*([-+]?(?:\.\d+|\d+(?:\.\d*)?))?(pt|em|ex|mu|px|pc|in|mm|cm|%)?/); var m = parseFloat(match[1]||"1"), unit = match[2]; if (size == null) {size = 1} if (unit === "em") {return m} if (unit === "ex") {return m * this.TEX.x_height} if (unit === "%") {return m / 100 * size} if (unit === "px") {return m / this.em} if (unit === "pt") {return m / 10} // 10 pt to an em if (unit === "pc") {return m * 1.2} // 12 pt to a pc if (unit === "in") {return m * this.pxPerInch / this.em} if (unit === "cm") {return m * this.pxPerInch / this.em / 2.54} // 2.54 cm to an inch if (unit === "mm") {return m * this.pxPerInch / this.em / 25.4} // 10 mm to a cm if (unit === "mu") {return m / 18} // 18mu to an em for the scriptlevel return m*size; // relative to given size (or 1em as default) }, Em: function (m) { if (Math.abs(m) < .001) return "0em"; return (m.toFixed(3).replace(/\.?0+$/,""))+"em"; }, unEm: function (m) { return parseFloat(m); }, Percent: function (m) { return (100*m).toFixed(1).replace(/\.?0+$/,"") + "%"; }, Transform: function (node,trans,origin) { var style = node.style; style.transform = style.WebkitTransform = style.MozTransform = trans; if (origin) style.transformOrigin = style.WebkitTransformOrigin = style.MozTransformOrigin = origin; }, /********************************************************/ zeroBBox: function () { return {h:0, d:0, w:0, l:0, r:0, D:0, H:0, t:0, b:0}; }, emptyBBox: function () { return {h:-BIGDIMEN, d:-BIGDIMEN, w:0, l:BIGDIMEN, r:-BIGDIMEN, D:-BIGDIMEN, H:-BIGDIMEN, t:-BIGDIMEN, b:-BIGDIMEN}; }, cleanBBox: function (bbox) { if (bbox.h === -BIGDIMEN) bbox.h = 0; if (bbox.d === -BIGDIMEN) bbox.d = 0; if (bbox.l === BIGDIMEN) bbox.l = 0; if (bbox.r === -BIGDIMEN) bbox.r = 0; if (bbox.t === -BIGDIMEN) bbox.t = 0; if (bbox.b === -BIGDIMEN) bbox.b = 0; if (bbox.H === -BIGDIMEN) bbox.H = .8; if (bbox.D === -BIGDIMEN) bbox.D = .2; }, scaleBBox: function (bbox,level,dlevel) { var scale = Math.pow(SCRIPTFACTOR,Math.min(2,level)-(dlevel||0)); bbox.w *= scale; bbox.h *= scale; bbox.d *= scale; bbox.l *= scale; bbox.r *= scale; bbox.t *= scale; bbox.b *= scale; if (bbox.L) bbox.L *= scale; if (bbox.R) bbox.R *= scale; }, combineBBoxes: function (bbox,cbox,x,y,scale) { if (x + scale*cbox.r > bbox.r) bbox.r = x + scale*cbox.r; if (x + scale*cbox.l < bbox.l) bbox.l = x + scale*cbox.l; if (x + scale*(cbox.w+(cbox.L||0)+(cbox.R||0)) > bbox.w) bbox.w = x + scale*(cbox.w + (cbox.L||0) + (cbox.R||0)); if (y + scale*cbox.h > bbox.h) bbox.h = y + scale*cbox.h; if (scale*cbox.d - y > bbox.d) bbox.d = scale*cbox.d - y; if (y + scale*cbox.t > bbox.t) bbox.t = y + scale*cbox.t; if (scale*cbox.b - y > bbox.b) bbox.b = scale*cbox.b - y; }, /********************************************************/ arrayEntry: function (a,i) {return a[Math.max(0,Math.min(i,a.length-1))]} }); /**********************************************************/ MathJax.Hub.Register.StartupHook("mml Jax Ready",function () { MML = MathJax.ElementJax.mml; /********************************************************/ MML.mbase.Augment({ toCommonHTML: function (node,options) { return this.CHTMLdefaultNode(node,options); }, CHTMLdefaultNode: function (node,options) { if (!options) options = {}; node = this.CHTMLcreateNode(node); if (!options.noBBox) this.CHTMLhandleSpace(node); this.CHTMLhandleStyle(node); this.CHTMLhandleColor(node); var m = Math.max((options.minChildren||0),this.data.length); for (var i = 0; i < m; i++) this.CHTMLaddChild(node,i,options); if (!options.noBBox) CHTML.cleanBBox(this.CHTML); return node; }, CHTMLaddChild: function (node,i,options) { var child = this.data[i]; if (child) { var type = options.childNodes; if (type) { if (type instanceof Array) type = type[i]; node = HTML.addElement(node,type); } child.toCommonHTML(node,options.childOptions); if (!options.noBBox) { var bbox = this.CHTML, cbox = child.CHTML; CHTML.combineBBoxes(bbox,cbox,bbox.w,0,1); if (cbox.ic) {bbox.ic = cbox.ic} else {delete bbox.ic} if (cbox.skew) bbox.skew = cbox.skew; } } else if (options.forceChild) {HTML.addElement(node,"span")} }, CHTMLstretchChildV: function (i,H,D) { var data = this.data[i]; if (data) { var bbox = this.CHTML; if (bbox.stretch || (bbox.stretch == null && data.CHTMLcanStretch("Vertical",H,D))) { var w = data.CHTML.w; data.CHTMLstretchV(H,D); var dbox = data.CHTML; bbox.w += dbox.w - w; if (dbox.h > bbox.h) bbox.h = dbox.h; if (dbox.d > bbox.d) bbox.d = dbox.d; if (dbox.t > bbox.t) bbox.t = dbox.t; if (dbox.b > bbox.b) bbox.b = dbox.b; } } }, CHTMLstretchChildH: function (i,W,nodes) { var data = this.data[i]; if (data) { var bbox = this.CHTML; if (bbox.stretch || (bbox.stretch == null && data.CHTMLcanStretch("Horizontal",W))) { data.CHTMLstretchH(nodes[i].firstChild,W); MathJax.Hub.Insert(this.CHTML,data.CHTML); } } }, CHTMLcanStretch: function (direction,H,D) { var stretch = false; if (this.isEmbellished()) { var core = this.Core(); if (core && core !== this) stretch = core.CHTMLcanStretch(direction,H,D); } this.CHTML.stretch = stretch; return stretch; }, CHTMLstretchV: function (h,d) {}, CHTMLstretchH: function (node,w) {}, CHTMLcreateNode: function (node) { if (!this.CHTML) this.CHTML = {}; this.CHTML = CHTML.zeroBBox(); if (this.inferred) return node; if (!this.CHTMLnodeID) {this.CHTMLnodeID = CHTML.GetID()}; var id = (this.id || "MJXc-Node-"+this.CHTMLnodeID); return HTML.addElement(node,"mjx-"+this.type,{className:"MJXc-"+this.type, id:id}); }, CHTMLnodeElement: function () { if (!this.CHTMLnodeID) {return null} return document.getElementById(this.id||"MJXc-Node-"+this.CHTMLnodeID); }, CHTMLhandleStyle: function (node) { if (this.style) node.style.cssText = this.style; }, CHTMLhandleColor: function (node) { if (this.mathcolor) {node.style.color = this.mathcolor} else if (this.color) {node.style.color = this.color} if (this.mathbackground) {node.style.backgroundColor = this.mathbackground} else if (this.background) {node.style.backgroundColor = this.background} }, CHTMLhandleSpace: function (node) { if (!this.useMMLspacing) { var space = this.texSpacing(); if (space !== "") this.CHTML.L = CHTML.length2em(space) + (this.CHTML.L||0); if (this.CHTML.L) node.style.marginLeft = CHTML.Em(this.CHTML.L); if (this.CHTML.R) node.style.marginRight = CHTML.Em(this.CHTML.R); } }, CHTMLhandleScriptlevel: function (node,dlevel) { var level = this.Get("scriptlevel"); if (level === 0) return; // ### FIXME: handle scriptminsize if (level > 2) level = 2; if (level > 0 && dlevel == null) { node.className += " MJXc-script"; } else { if (dlevel) level -= dlevel; var scale = Math.floor(Math.pow(SCRIPTFACTOR,level)*100); node.style.fontSize = scale+"%"; } }, CHTMLhandleText: function (node,text,variant) { this.CHTML = CHTML.handleText(node,text,variant,this.CHTML); }, CHTMLbboxFor: function (n) { if (this.data[n] && this.data[n].CHTML) return this.data[n].CHTML; return CHTML.zeroBBox(); }, // // Debugging function to see if internal BBox matches actual bbox // CHTMLdrawBBox: function (node) { var bbox = this.CHTML; HTML.addElement(node.parentNode,"mjx-box", {style:{opacity:.25,"margin-left":CHTML.Em(-bbox.w-(bbox.R||0))}},[ ["mjx-box",{style:{ height:CHTML.Em(bbox.h),width:CHTML.Em(bbox.w),"background-color":"red"} }], ["mjx-box",{style:{ height:CHTML.Em(bbox.d),width:CHTML.Em(bbox.w), "margin-left":CHTML.Em(-bbox.w),"vertical-align":CHTML.Em(-bbox.d), "background-color":"green"} }] ]); }, CHTMLnotEmpty: function (mml) { while (mml && mml.data.length < 2 && (mml.type === "mrow" || mml.type === "texatom")) mml = mml.data[0]; return !!mml; } }); /********************************************************/ MML.chars.Augment({ toCommonHTML: function (node,options) { if (options == null) options = {}; var text = this.toString(); if (options.remap) text = options.remap(text,options.remapchars); // ### FIXME: handle mtextFontInherit this.CHTMLhandleText(node,text,options.variant||this.parent.Get("mathvariant")); } }); MML.entity.Augment({ toCommonHTML: function (node,options) { if (options == null) options = {}; var text = this.toString(); if (options.remapchars) text = options.remap(text,options.remapchars); // ### FIXME: handle mtextFontInherit this.CHTMLhandleText(node,text,options.variant||this.parent.Get("mathvariant")); } }); /********************************************************/ MML.math.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node); if (this.Get("display") === "block") {node.className += " MJXc-display"} return node; } }); /********************************************************/ MML.mi.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node); var bbox = this.CHTML, text = this.data.join(""); if (bbox.skew != null && text.length !== 1) delete bbox.skew; if (bbox.r > bbox.w && text.length === 1 /*&& !variant.noIC*/) { // ### FIXME: handle variants bbox.ic = bbox.r - bbox.w; bbox.w = bbox.r; node.style.paddingRight = CHTML.Em(bbox.ic); } } }); /********************************************************/ MML.mo.Augment({ toCommonHTML: function (node) { node = this.CHTMLcreateNode(node); this.CHTML = CHTML.emptyBBox(); var values = this.getValues("displaystyle","largeop","mathvariant"); values.text = this.data.join(""); if (values.text == "") { if (this.fence) node.style.width = CHTML.Em(CHTML.TEX.nulldelimiterspace); } else { this.CHTMLadjustAccent(values); this.CHTMLadjustVariant(values); for (var i = 0, m = this.data.length; i < m; i++) { this.CHTMLaddChild(node,i,{childOptions:{ variant: values.mathvariant, remap: this.remap, remapchars: values.mapchars }}); } if (values.text.length !== 1) delete this.CHTML.skew; if (values.largeop) this.CHTMLcenterOp(node); } CHTML.cleanBBox(this.CHTML); this.CHTMLhandleSpace(node); this.CHTMLhandleStyle(node); this.CHTMLhandleColor(node); return node; }, CHTMLhandleSpace: function (node) { if (this.useMMLspacing) { var values = this.getValues("scriptlevel","lspace","rspace"); values.lspace = Math.max(0,CHTML.length2em(values.lspace)); values.rspace = Math.max(0,CHTML.length2em(values.rspace)); if (values.scriptlevel > 0) { if (!this.hasValue("lspace")) values.lspace = .15; if (!this.hasValue("rspace")) values.rspace = .15; } var core = this, parent = this.Parent(); while (parent && parent.isEmbellished() && parent.Core() === core) {core = parent; parent = parent.Parent(); node = core.CHTMLnodeElement()} if (values.lspace) {node.style.paddingLeft = CHTML.Em(values.lspace)} if (values.rspace) {node.style.paddingRight = CHTML.Em(values.rspace)} } else { this.SUPER(arguments).CHTMLhandleSpace.apply(this,arguments); } }, CHTMLadjustAccent: function (data) { var parent = this.CoreParent(); data.parent = parent; if (data.text.length === 1 && parent && parent.isa(MML.munderover) && this.CoreText(parent.data[parent.base]).length === 1) { var over = parent.data[parent.over], under = parent.data[parent.under]; if (over && this === over.CoreMO() && parent.Get("accent")) { data.mapchars = CHTML.FONTDATA.REMAPACCENT } else if (under && this === under.CoreMO() && parent.Get("accentunder")) { data.mapchars = CHTML.FONTDATA.REMAPACCENTUNDER } } }, CHTMLadjustVariant: function (data) { var parent = data.parent, isScript = (parent && parent.isa(MML.msubsup) && this !== parent.data[parent.base]); if (data.largeop) data.mathvariant = (data.displaystyle ? "-largeOp" : "-smallOp"); if (isScript) { data.mapchars = this.remapChars; if (data.text.match(/['`"\u00B4\u2032-\u2037\u2057]/)) data.mathvariant = "-TeX-variant"; // ### FIXME: handle other fonts } }, CHTMLcenterOp: function (node) { var bbox = this.CHTML; var p = (bbox.h - bbox.d)/2 - CHTML.TEX.axis_height; if (Math.abs(p) > .001) node.style.verticalAlign = CHTML.Em(-p); bbox.h -= p; bbox.d += p; if (bbox.r > bbox.w) { bbox.ic = bbox.r - bbox.w; bbox.w = bbox.r; node.style.paddingRight = CHTML.Em(bbox.ic); } }, CHTMLcanStretch: function (direction,H,D) { if (!this.Get("stretchy")) return false; var c = this.data.join(""); if (c.length !== 1) return false; var values = {text: c}; this.CHTMLadjustAccent(values); if (values.remapchars) c = values.remapchars[c]||c; c = CHTML.FONTDATA.DELIMITERS[c.charCodeAt(0)]; var stretch = (c && c.dir === direction.substr(0,1)); if (stretch) { stretch = (this.CHTML.h !== H || this.CHTML.d !== D || !!this.Get("minsize",true) || !!this.Get("maxsize",true)); if (stretch) this.CHTML.stretch = true; } return stretch; }, CHTMLstretchV: function (h,d) { var node = this.CHTMLnodeElement(), bbox = this.CHTML; var values = this.getValues("symmetric","maxsize","minsize"); // // Determine the height needed // var H, a = CHTML.TEX.axis_height; if (values.symmetric) {H = 2*Math.max(h-a,d+a)} else {H = h + d} values.maxsize = CHTML.length2em(values.maxsize,bbox.h+bbox.d); values.minsize = CHTML.length2em(values.minsize,bbox.h+bbox.d); H = Math.max(values.minsize,Math.min(values.maxsize,H)); // // If we are not already stretched to this height // if (H !== bbox.sH) { // // Get a delimiter of the proper height and save the height // if (H != values.minsize) {H = [Math.max(H*CHTML.TEX.delimiterfactor/1000,H-CHTML.TEX.delimitershortfall),H]} while (node.firstChild) node.removeChild(node.firstChild); this.CHTML = bbox = CHTML.createDelimiter(node,this.data.join("").charCodeAt(0),H,1); bbox.sH = (H instanceof Array ? H[1] : H); // // Reposition as needed // if (values.symmetric) {H = (bbox.h + bbox.d)/2 + a} else {H = (bbox.h + bbox.d) * h/(h + d)} H -= bbox.h; if (Math.abs(H) > .05) { node.style.verticalAlign = CHTML.Em(H); bbox.h += H; bbox.d -= H; bbox.t += H; bbox.b -= H; } } }, CHTMLstretchH: function (node,W) { var bbox = this.CHTML; var values = this.getValues("maxsize","minsize","mathvariant","fontweight"); // FIXME: should take style="font-weight:bold" into account as well if ((values.fontweight === "bold" || parseInt(values.fontweight) >= 600) && !this.Get("mathvariant",true)) values.mathvariant = MML.VARIANT.BOLD; values.maxsize = CHTML.length2em(values.maxsize,bbox.w); values.minsize = CHTML.length2em(values.minsize,bbox.w); W = Math.max(values.minsize,Math.min(values.maxsize,W)); if (W !== bbox.sW) { while (node.firstChild) node.removeChild(node.firstChild); this.CHTML = bbox = CHTML.createDelimiter(node,this.data.join("").charCodeAt(0),W,1,values.mathvariant); bbox.sW = W; } } }); /********************************************************/ MML.mspace.Augment({ toCommonHTML: function (node) { node = this.CHTMLcreateNode(node); this.CHTMLhandleStyle(node); this.CHTMLhandleColor(node); var values = this.getValues("height","depth","width"); var w = CHTML.length2em(values.width), h = CHTML.length2em(values.height), d = CHTML.length2em(values.depth); var bbox = this.CHTML; bbox.w = bbox.r = w; bbox.h = bbox.t = h; bbox.d = bbox.b = d; bbox.l = 0; if (w < 0) {node.style.marginRight = CHTML.Em(w); w = 0} node.style.width = CHTML.Em(w); node.style.height = CHTML.Em(h+d); if (d) node.style.verticalAlign = CHTML.Em(-d); return node; } }); /********************************************************/ MML.mpadded.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node,{childNodes:"mjx-block", forceChild:true}); var child = node.firstChild, cbox = this.CHTMLbboxFor(0); node = HTML.addElement(node,"mjx-block"); node.appendChild(child); HTML.addElement(child,"mjx-box"); // force box to be in text mode var values = this.getValues("width","height","depth","lspace","voffset"); var dimen, x = 0, y = 0, w = cbox.w, h = cbox.h, d = cbox.d; if (values.width !== "") { dimen = this.CHTMLdimen(values.width,"w",0); if (dimen.pm) dimen.len += cbox.w; if (dimen.len < 0) dimen.len = 0; if (dimen.len !== cbox.w) node.style.width = CHTML.Em(dimen.len); w = dimen.len; } if (values.height !== "") { dimen = this.CHTMLdimen(values.height,"h",0); if (dimen.pm) {h += dimen.len} else {h = dimen.len; dimen.len += -cbox.h} if (dimen.len+cbox.h < 0) {dimen.len = -cbox.h; h = 0} if (dimen.len) child.style.marginTop = CHTML.Em(dimen.len); } if (values.depth !== "") { dimen = this.CHTMLdimen(values.depth,"d",0); if (dimen.pm) {d += dimen.len} else {d = dimen.len; dimen.len += -cbox.d} if (dimen.len+cbox.d < 0) {dimen.len = -cbox.d; d = 0} if (dimen.len) child.style.marginBottom = CHTML.Em(dimen.len); } if (values.voffset !== "") { dimen = this.CHTMLdimen(values.voffset); if (dimen.len) { y = dimen.len; node.style.position = "relative"; node.style.top = CHTML.Em(-y); } } if (values.lspace !== "") { dimen = this.CHTMLdimen(values.lspace); if (dimen.len) { x = dimen.len; node.style.position = "relative"; node.style.left = CHTML.Em(x); } } var bbox = {w:w, h:h, d:d, l:0, r:w, t:h, b:d}; CHTML.combineBBoxes(bbox,cbox,x,y,1); bbox.w = w; bbox.h = h; bbox.d = d; this.CHTML = bbox; return node.parentNode; }, CHTMLdimen: function (length,d,m) { if (m == null) {m = -BIGDIMEN} length = String(length); var match = length.match(/width|height|depth/); var size = (match ? this.CHTML[match[0].charAt(0)] : (d ? this.CHTML[d] : 0)); return {len: CHTML.length2em(length,size)||0, pm: !!length.match(/^[-+]/)}; } }); /********************************************************/ MML.munderover.Augment({ toCommonHTML: function (node) { var values = this.getValues("displaystyle","scriptlevel","accent","accentunder","align"); if (!values.displaystyle && this.data[this.base] != null && this.data[this.base].CoreMO().Get("movablelimits")) return MML.msubsup.prototype.toCommonHTML.call(this,node); // // Get the nodes for base and limits // var types = ["mjx-op","mjx-under","mjx-over"]; if (this.over === 1) types[1] = types[2]; node = this.CHTMLdefaultNode(node,{ childNodes:types, noBBox:true, forceChild:true, minChildren: 2 }); var base, under, over, nodes = []; nodes[0] = base = node.removeChild(node.firstChild); nodes[1] = under = over = node.removeChild(node.firstChild); if (node.firstChild) nodes[2] = over = node.removeChild(node.firstChild); // // Get the scale of the base and its limits // this.CHTMLgetScaleFactors(values,under,over); // // Get the bounding boxes and the maximum width // var boxes = [], W = this.CHTMLgetBBoxes(boxes,nodes,values); var bbox = boxes[this.base], BBOX = this.CHTML; BBOX.w = W; BBOX.h = bbox.h; BBOX.d = bbox.d; // modified below // // Add over- and under-scripts // var stack = base, delta = 0; if (bbox.ic) {delta = 1.3*bbox.ic + .05} // make faked IC be closer to expeted results if (this.data[this.over]) { stack = this.CHTMLaddOverscript(over,boxes,values,delta,base); } if (this.data[this.under]) { this.CHTMLaddUnderscript(under,boxes,values,delta,node,stack); } else { node.appendChild(stack); } // // Handle horizontal positions // this.CHTMLplaceBoxes(base,under,over,values,boxes); this.CHTMLhandleSpace(node); return node; }, // // Compute scaling factors for the under- and over-scripts // CHTMLgetScaleFactors: function (values,under,over) { values.oscale = values.uscale = 1; if (values.scriptlevel < 2) { if (!values.accent) { values.oscale = SCRIPTFACTOR; if (this.data[this.over]) this.data[this.over].CHTMLhandleScriptlevel(over); } if (!values.accentunder) { values.uscale = SCRIPTFACTOR; if (this.data[this.under]) this.data[this.under].CHTMLhandleScriptlevel(under); } } }, // // Get the bounding boxes for the children, stretch // any stretchable elements, and compute the maximum width // CHTMLgetBBoxes: function (bbox,nodes,values) { var i, m = this.data.length, SCALE, w = -BIGDIMEN, // maximum width of non-stretchy items W = w; // maximum width of all items // // Get the maximum width // for (i = 0; i < m; i++) { bbox[i] = this.CHTMLbboxFor(i); bbox[i].x = bbox[i].y = 0; if (this.data[i]) bbox[i].stretch = this.data[i].CHTMLcanStretch("Horizontal"); SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale); W = Math.max(W,SCALE*(bbox[i].w + (bbox[i].L||0) + (bbox[i].R||0))); if (!bbox[i].stretch && W > w) w = W; } if (w === -BIGDIMEN) w = W; // // Stretch those parts that need it // for (i = 0; i < m; i++) { if (bbox[i].stretch) { SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale); this.CHTMLstretchChildH(i,w/SCALE,nodes); bbox[i] = this.CHTMLbboxFor(i); bbox[i].x = bbox[i].y = 0; W = Math.max(W,SCALE*(bbox[i].w + (bbox[i].L||0) + (bbox[i].R||0))); } } return W; }, // // Add an overscript // CHTMLaddOverscript: function (over,boxes,values,delta,base) { var BBOX = this.CHTML; var w, z1, z2, z3 = CHTML.TEX.big_op_spacing5, k; var scale = values.oscale, obox = boxes[this.over], bbox = boxes[this.base]; // // Put the base and script into a stack // var stack = HTML.Element("mjx-stack"); stack.appendChild(over); stack.appendChild(base); if (obox.d < 0 || obox.h < .25) { // // For negative depths, set the height and align to top // in order to avoid extra baseline space // over.firstChild.style.verticalAlign = "top"; over.style.height = CHTML.Em(obox.h+obox.d); } // // Determine the spacing // obox.x = 0; if (values.accent) { if (obox.w < .001) obox.x += (obox.r - obox.l)/2; // center combining accents k = CHTML.TEX.rule_thickness; z3 = 0; if (bbox.skew) { obox.x += scale*bbox.skew; BBOX.skew = scale*bbox.skew; if (obox.x+scale*obox.w > BBOX.w) BBOX.skew += (BBOX.w - (obox.x+scale*obox.w))/2; } } else { z1 = CHTML.TEX.big_op_spacing1; z2 = CHTML.TEX.big_op_spacing3; k = Math.max(z1,z2-Math.max(0,scale*obox.d)); } obox.x += delta/2; obox.y = BBOX.h + k + z3 + scale*obox.d; // // Position the overscript // if (k) over.style.paddingBottom = CHTML.Em(k/scale); if (z3) over.style.paddingTop = CHTML.Em(z3/scale); return stack; }, // // Add an underscript // CHTMLaddUnderscript: function (under,boxes,values,delta,node,stack) { var BBOX = this.CHTML; var w, x = 0, z1, z2, z3 = CHTML.TEX.big_op_spacing5, k; var scale = values.uscale, ubox = boxes[this.under], bbox = boxes[this.base]; // // Create a table for the underscript // HTML.addElement(node,"mjx-itable",{},[ ["mjx-row",{},[["mjx-cell"]]], ["mjx-row"], ]); node.firstChild.firstChild.firstChild.appendChild(stack); node.firstChild.lastChild.appendChild(under); if (ubox.d < 0 || ubox.h < .25) { // // For negative depths, set the height and align to top // in order to avoid extra baseline space // under.firstChild.style.verticalAlign = "top"; under.style.height = CHTML.Em(ubox.h+ubox.d); } // // determine the spacing // if (values.accentunder) { k = 3*CHTML.TEX.rule_thickness; z3 = 0; } else { z1 = CHTML.TEX.big_op_spacing2; z2 = CHTML.TEX.big_op_spacing4; k = Math.max(z1,z2-scale*ubox.h); } ubox.x = -delta/2; ubox.y = -(BBOX.d + k + z3 + scale*ubox.h); // // Position the overscript // if (k) under.style.paddingTop = CHTML.Em(k/scale); if (z3) under.style.paddingBottom = CHTML.Em(z3/scale); }, // // Center boxes horizontally, taking offsets into account // ### FIXME: handle BBOX.l and BBOX.r // CHTMLplaceBoxes: function (base,under,over,values,boxes) { var W = this.CHTML.w, i, m = boxes.length; var BBOX = this.CHTML = CHTML.zeroBBox(); boxes[this.base].x = boxes[this.base].y = 0; var dx = BIGDIMEN; for (i = 0; i < m; i++) { var SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale); var w = SCALE*(boxes[i].w + (boxes[i].L||0) + (boxes[i].R||0)); boxes[i].x += (W-w)/2; if (boxes[i].x < dx) dx = boxes[i].x; } for (i = 0; i < m; i++) { if (this.data[i]) { var SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale); if (boxes[i].x - dx) { var node = (i === this.base ? base : i === this.over ? over : under); node.style.paddingLeft = CHTML.Em((boxes[i].x-dx)/SCALE); } CHTML.combineBBoxes(BBOX,boxes[i],boxes[i].x-dx,boxes[i].y,SCALE); } } } }); /********************************************************/ MML.msubsup.Augment({ toCommonHTML: function (node) { var values = this.getValues("displaystyle","scriptlevel", "subscriptshift","superscriptshift","texprimestyle"); // // Get the nodes for base and limits // var types = ["mjx-base","mjx-sub","mjx-sup"]; if (this.sup === 1) types[1] = types[2]; node = this.CHTMLdefaultNode(node,{ childNodes:types, noBBox:true, forceChild:true, minChildren: 2 }); var base, sub, sup; base = node.firstChild; sub = sup = base.nextSibling; if (sub.nextSibling) sup = sub.nextSibling; if (!this.CHTMLnotEmpty(this.data[this.sub])) {node.removeChild(sub); sub = null} if (!this.CHTMLnotEmpty(this.data[this.sup])) {node.removeChild(sup); sup = null} if (node.childNodes.length === 3) { var stack = HTML.addElement(node,"mjx-stack"); stack.appendChild(sup); stack.appendChild(sub); } // // Get the scale of the base and its limits // var sscale = 1; if (values.scriptlevel < 2) { sscale = SCRIPTFACTOR; if (sub) this.data[this.sub].CHTMLhandleScriptlevel(sub); if (sup) this.data[this.sup].CHTMLhandleScriptlevel(sup); } // // Get the bounding boxes and maximum width of scripts // var boxes = [], BBOX = this.CHTML = CHTML.emptyBBox(); for (var i = 0, m = this.data.length; i < m; i++) boxes[i] = this.CHTMLbboxFor(i); var bbox = boxes[this.base], subbox = boxes[this.sub], supbox = boxes[this.sup]; CHTML.combineBBoxes(BBOX,bbox,0,0,1); // // Get initial values for parameters // var ex = CHTML.TEX.x_height, s = CHTML.TEX.scriptspace; var q = CHTML.TEX.sup_drop * sscale, r = CHTML.TEX.sub_drop * sscale; var u = bbox.h - q, v = bbox.d + r, delta = 0, p; if (bbox.ic) { BBOX.w -= bbox.ic; // remove IC (added by mo and mi) base.style.marginRight = CHTML.Em(-bbox.ic); delta = 1.3*bbox.ic + .05; // make faked IC be closer to expeted results } var bmml = this.data[this.base]; if (bmml && (bmml.type === "mi" || bmml.type === "mo")) { if (bmml.data.join("").length === 1 && bmml.Get("scriptlevel") === 0 && !bmml.Get("largeop")) {u = v = 0} // ### FIXME: get scale rather than use scriptlevel } values.subscriptshift = (values.subscriptshift === "" ? 0 : CHTML.length2em(values.subscriptshift)); values.superscriptshift = (values.superscriptshift === "" ? 0 : CHTML.length2em(values.superscriptshift)); // // Add the super- and subscripts // var x = BBOX.w; if (sub) subbox.w += s; if (sup) supbox.w += s; if (!sup) { if (sub) { v = Math.max(v,CHTML.TEX.sub1,sscale*subbox.h-(4/5)*ex,values.subscriptshift); sub.style.verticalAlign = CHTML.Em(-v/sscale); sub.style.paddingRight = CHTML.Em(s/sscale); CHTML.combineBBoxes(BBOX,subbox,x,-v,sscale); } } else { if (!sub) { p = CHTML.TEX[(values.displaystyle ? "sup1" : (values.texprimestyle ? "sup3" : "sup2"))]; u = Math.max(u,p,sscale*supbox.d+(1/4)*ex,values.superscriptshift); sup.style.verticalAlign = CHTML.Em(u/sscale); sup.style.paddingLeft = CHTML.Em(delta/sscale); sup.style.paddingRight = CHTML.Em(s/sscale); CHTML.combineBBoxes(BBOX,supbox,x+delta,u,sscale); } else { v = Math.max(v,CHTML.TEX.sub2); var t = CHTML.TEX.rule_thickness; if ((u - sscale*supbox.d) - (sscale*subbox.h - v) < 3*t) { v = 3*t - u + sscale*(supbox.d + subbox.h); q = (4/5)*ex - (u - sscale*supbox.d); if (q > 0) {u += q; v -= q} } u = Math.max(u,values.superscriptshift); v = Math.max(v,values.subscriptshift); sub.style.paddingRight = CHTML.Em(s/sscale); sup.style.paddingBottom = CHTML.Em((u+v)/sscale-supbox.d-subbox.h); sup.style.paddingLeft = CHTML.Em(delta/sscale); sup.style.paddingRight = CHTML.Em(s/sscale); stack.style.verticalAlign = CHTML.Em(-v); CHTML.combineBBoxes(BBOX,supbox,x+delta,u,sscale); CHTML.combineBBoxes(BBOX,subbox,x,-v,sscale); } } CHTML.cleanBBox(BBOX); return node; } }); /********************************************************/ MML.mfrac.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node,{ childNodes:["mjx-numerator","mjx-denominator"], forceChild:true, noBBox:true }); var values = this.getValues("linethickness","displaystyle","scriptlevel", "numalign","denomalign","bevelled"); var isDisplay = values.displaystyle; // // Get the scale of the fraction and its parts // var sscale = 1, scale = (values.scriptlevel > 0 ? SCRIPTFACTOR : 1); if (!isDisplay && values.scriptlevel < 2) { sscale = SCRIPTFACTOR; if (this.data[0]) this.data[0].CHTMLhandleScriptlevel(node.firstChild); if (this.data[1]) this.data[1].CHTMLhandleScriptlevel(node.lastChild); } // // Create the table for the fraction and set the alignment // var frac = HTML.addElement(node,"mjx-itable",{},[ ["mjx-row",{},[["mjx-fbox",{},[["mjx-ftable",{},[["mjx-row"]]]]]]], ["mjx-row"] ]); var num = frac.firstChild.firstChild.firstChild.firstChild, denom = frac.lastChild; num.appendChild(node.firstChild); denom.appendChild(node.firstChild); if (values.numalign !== "center") num.firstChild.style.textAlign = values.numalign; if (values.denomalign !== "center") denom.firstChild.style.textAlign = values.denomalign; // // Get the bounding boxes for the parts, and determine the placement // of the numerator and denominator // var nbox = this.CHTMLbboxFor(0), dbox = this.CHTMLbboxFor(1); values.linethickness = Math.max(0,CHTML.length2em(values.linethickness||"0",0)); var mt = CHTML.TEX.min_rule_thickness/CHTML.em/scale, a = CHTML.TEX.axis_height; var t = values.linethickness, p,q, u,v; if (isDisplay) {u = CHTML.TEX.num1; v = CHTML.TEX.denom1} else {u = (t === 0 ? CHTML.TEX.num3 : CHTML.TEX.num2); v = CHTML.TEX.denom2} if (t === 0) { // \atop p = Math.max((isDisplay ? 7 : 3) * CHTML.TEX.rule_thickness, 2*mt); // force to at least 2 px q = (u - nbox.d*sscale) - (dbox.h*sscale - v); if (q < p) {u += (p - q)/2; v += (p - q)/2} } else { // \over p = Math.max((isDisplay ? 3 : 0) * t, mt); // force to be at least 1px t = Math.max(t,mt); q = (u - nbox.d*sscale) - (a + t/2); if (q < p) u += (p - q); q = (a - t/2) - (dbox.h*sscale - v); if (q < p) v += (p - q); node.style.verticalAlign = CHTML.Em(a-t/2); // // Add the rule to the table // var rule = HTML.Element("mjx-row",{},[["mjx-cell",{},[["mjx-line"]]]]); num.parentNode.appendChild(rule); rule = rule.firstChild.firstChild; rule.style.borderTop = CHTML.Em(t)+" solid"; num.firstChild.className += " MJXc-fpad"; nbox.L = nbox.R = .1; denom.firstChild.className += " MJXc-fpad"; dbox.L = dbox.R = .1; } // // Determine the new bounding box and place the parts // this.CHTML = CHTML.emptyBBox(); CHTML.combineBBoxes(this.CHTML,nbox,0,u,sscale); CHTML.combineBBoxes(this.CHTML,dbox,0,-v,sscale); CHTML.cleanBBox(this.CHTML); u -= sscale*nbox.d + a + t/2; v -= sscale*dbox.h - a + t/2; if (u > 0) num.firstChild.style.paddingBottom = CHTML.Em(u); if (v > 0) denom.firstChild.style.paddingTop = CHTML.Em(v); // // Add nulldelimiterspace around the fraction // (TeXBook pg 150 and Appendix G rule 15e) // if (!this.texWithDelims && !this.useMMLspacing) this.CHTML.L = this.CHTML.R = CHTML.TEX.nulldelimiterspace; this.CHTMLhandleSpace(node); // // Return the completed fraction // return node; } }); /********************************************************/ MML.msqrt.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node,{ childNodes:["mjx-box","mjx-root"], forceChild:true, noBBox:true }); var base = node.firstChild; var sqrt = HTML.addElement(node,"mjx-box"); sqrt.appendChild(base); var bbox = this.CHTMLbboxFor(0), BBOX = this.CHTML = CHTML.emptyBBox(); var t = CHTML.TEX.surd_height, p = t, q, H; if (this.Get("displaystyle")) p = CHTML.TEX.x_height; q = t + p/4; H = bbox.h + bbox.d + q + t; var surd = HTML.Element("mjx-surd"); sqrt.insertBefore(surd,base); var sbox = CHTML.createDelimiter(surd,0x221A,H,1); if (sbox.h + sbox.d > H) q = ((sbox.h+sbox.d) - (H-t))/2; H = bbox.h + q + t; var x = this.CHTMLaddRoot(node,sbox,sbox.h+sbox.d-H); surd.style.verticalAlign = CHTML.Em(H-sbox.h); base.style.paddingTop = CHTML.Em(q); base.style.borderTop = CHTML.Em(t)+" solid"; sqrt.style.paddingTop = CHTML.Em(t); bbox.h += q + 2*t; CHTML.combineBBoxes(BBOX,sbox,x,H-sbox.h,1); CHTML.combineBBoxes(BBOX,bbox,x+sbox.w,0,1); return node; }, CHTMLaddRoot: function () {return 0} }); /********************************************************/ MML.mroot.Augment({ toCommonHTML: MML.msqrt.prototype.toCommonHTML, CHTMLaddRoot: function (sqrt,sbox,d) { if (!this.data[1]) return; var BBOX = this.CHTML, bbox = this.data[1].CHTML, root = sqrt.firstChild; var dlevel = Math.min(2,this.Get("scriptlevel")), level = Math.min(2,this.data[1].Get("scriptlevel")); scale = Math.pow(SCRIPTFACTOR,level-dlevel); if (scale !== 1) this.data[1].CHTMLhandleScriptlevel(root,dlevel); var h = this.CHTMLrootHeight(bbox,sbox,scale)-d; var w = Math.min(bbox.w,bbox.r); // remove extra right-hand padding, if any var dx = Math.max(w,sbox.offset/scale); if (h) root.style.verticalAlign = CHTML.Em(h/scale); if (dx > w) root.firstChild.style.paddingLeft = CHTML.Em(dx-w); dx -= sbox.offset/scale; root.style.width = CHTML.Em(dx); CHTML.combineBBoxes(BBOX,bbox,0,h,scale); return dx*scale; }, CHTMLrootHeight: function (bbox,sbox,scale) { return .45*(sbox.h+sbox.d-.9)+sbox.offset + Math.max(0,bbox.d-.075); } }); /********************************************************/ MML.mfenced.Augment({ toCommonHTML: function (node) { node = this.CHTMLcreateNode(node); this.CHTMLhandleSpace(node); this.CHTMLhandleStyle(node); this.CHTMLhandleColor(node); // // Make row of open, data, sep, ... data, close // this.addFakeNodes(); this.CHTMLaddChild(node,"open",{}); for (var i = 0, m = this.data.length; i < m; i++) { this.CHTMLaddChild(node,"sep"+i,{}); this.CHTMLaddChild(node,i,{}); } this.CHTMLaddChild(node,"close",{}); // // Check for stretching the elements // var H = this.CHTML.h, D = this.CHTML.d; this.CHTMLstretchChildV("open",H,D); for (i = 0, m = this.data.length; i < m; i++) { this.CHTMLstretchChildV("sep"+i,H,D); this.CHTMLstretchChildV(i,H,D); } this.CHTMLstretchChildV("close",H,D); return node; } }); /********************************************************/ MML.mrow.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node); var bbox = this.CHTML, H = bbox.h, D = bbox.d; for (var i = 0, m = this.data.length; i < m; i++) this.CHTMLstretchChildV(i,H,D); return node; } }); /********************************************************/ MML.mstyle.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node); if (this.scriptlevel) { var dlevel = this.Get("scriptlevel",null,true); if (this.scriptlevel !== dlevel) { this.CHTMLhandleScriptlevel(node,dlevel); CHTML.scaleBBox(this.CHTML,this.scriptlevel,dlevel); } } return node; } }); /********************************************************/ MML.TeXAtom.Augment({ toCommonHTML: function (node) { // ### FIXME: handle TeX class? node = this.CHTMLdefaultNode(node); var H = this.CHTML.h, D = this.CHTML.d; for (var i = 0, m = this.data.length; i < m; i++) this.CHTMLstretchChildV(i,H,D); return node; } }); /********************************************************/ MML.mtable.Augment({ toCommonHTML: function (node) { node = this.CHTMLdefaultNode(node,{noBBox:true}); var values = this.getValues("columnalign","rowalign","columnspacing","rowspacing", "columnwidth","equalcolumns","equalrows", "columnlines","rowlines","frame","framespacing", "align","width"/*,"useHeight","side","minlabelspacing"*/); var SPLIT = MathJax.Hub.SplitList, i, m, j, n; var CSPACE = SPLIT(values.columnspacing), RSPACE = SPLIT(values.rowspacing), CALIGN = SPLIT(values.columnalign), RALIGN = SPLIT(values.rowalign);//, // CLINES = SPLIT(values.columnlines), // RLINES = SPLIT(values.rowlines), // CWIDTH = SPLIT(values.columnwidth), // RCALIGN = []; for (i = 0, m = CSPACE.length; i < m; i++) {CSPACE[i] = CHTML.length2em(CSPACE[i])} for (i = 0, m = RSPACE.length; i < m; i++) {RSPACE[i] = CHTML.length2em(RSPACE[i])} var table = HTML.Element("node"); while (node.firstChild) table.appendChild(node.firstChild); node.appendChild(table); var H = 0, W = 0; for (i = 0, m = this.data.length; i < m; i++) { var row = this.data[i]; if (row) { var rspace = CHTML.arrayEntry(RSPACE,i-1), ralign = CHTML.arrayEntry(RALIGN,i); var rbox = row.CHTML, rnode = row.CHTMLnodeElement(); rnode.style.verticalAlign = ralign; var k = (row.type === "mlabeledtr" ? 1 : 0); for (j = 0, n = row.data.length; j < n-k; j++) { var cell = row.data[j+k]; if (cell) { var cspace = CHTML.arrayEntry(CSPACE,j-1), calign = CHTML.arrayEntry(CALIGN,j); var /*cbox = cell.CHTML,*/ cnode = cell.CHTMLnodeElement(); if (j) {rbox.w += cspace; cnode.style.paddingLeft = CHTML.Em(cspace)} if (i) cnode.style.paddingTop = CHTML.Em(rspace); cnode.style.textAlign = calign; } } H += rbox.h + rbox.d; if (i) {H += rspace} if (rbox.w > W) W = rbox.w; } } var bbox = this.CHTML; bbox.w = W; bbox.h = H/2 + AXISHEIGHT; bbox.d = H/2 - AXISHEIGHT; bbox.L = bbox.R = .125; return node; } }); MML.mlabeledtr.Augment({ CHTMLdefaultNode: function (node,options) { if (!options) options = {}; node = this.CHTMLcreateNode(node); this.CHTMLhandleStyle(node); this.CHTMLhandleColor(node); // skip label for now for (var i = 1, m = this.data.length; i < m; i++) this.CHTMLaddChild(node,i,options); return node; } }); /********************************************************/ MML.semantics.Augment({ toCommonHTML: function (node) { node = this.CHTMLcreateNode(node); if (this.data[0]) { this.data[0].toCommonHTML(node); MathJax.Hub.Insert(this.data[0].CHTML||{},this.CHTML); } return node; } }); MML.annotation.Augment({toCommonHTML: function(node) {}}); MML["annotation-xml"].Augment({toCommonHTML: function(node) {}}); /********************************************************/ // // Loading isn't complete until the element jax is modified, // but can't call loadComplete within the callback for "mml Jax Ready" // (it would call CommonHTML's Require routine, asking for the mml jax again) // so wait until after the mml jax has finished processing. // // We also need to wait for the onload handler to run, since the loadComplete // will call Config and Startup, which need to modify the body. // MathJax.Hub.Register.StartupHook("onLoad",function () { setTimeout(MathJax.Callback(["loadComplete",CHTML,"jax.js"]),0); }); }); MathJax.Hub.Register.StartupHook("End Cookie", function () { if (HUB.config.menuSettings.zoom !== "None") {AJAX.Require("[MathJax]/extensions/MathZoom.js")} }); })(MathJax.Ajax,MathJax.Hub,MathJax.HTML,MathJax.OutputJax.CommonHTML);