12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810 |
- /* -*- 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 browser and OS independent.
- *
- * ---------------------------------------------------------------------
- *
- * Copyright (c) 2013-2017 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 isArray = MathJax.Object.isArray;
- var EVENT, TOUCH, HOVER; // filled in later
- var STRUTHEIGHT = 1,
- EFUZZ = .1, // overlap needed for stretchy delimiters
- HFUZZ = .025, DFUZZ = .025; // adjustments to bounding box of character boxes
- var STYLES = {
- ".mjx-chtml": {
- display: "inline-block",
- "line-height": 0,
- "text-indent": 0,
- "text-align": "left",
- "text-transform": "none",
- "font-style": "normal",
- "font-weight": "normal",
- "font-size": "100%",
- "font-size-adjust":"none",
- "letter-spacing": "normal",
- "word-wrap": "normal",
- "word-spacing": "normal",
- "white-space": "nowrap",
- "float": "none",
- "direction": "ltr",
- "max-width": "none",
- "max-height": "none",
- "min-width": 0,
- "min-height": 0,
- border: 0,
- margin: 0,
- padding: "1px 0"
- },
- ".MJXc-display": {
- display: "block",
- "text-align": "center",
- "margin": "1em 0",
- padding: 0
- },
- ".mjx-chtml[tabindex]:focus, body :focus .mjx-chtml[tabindex]": {
- display: "inline-table" // see issues #1282 and #1338
- },
- ".mjx-full-width": {
- "text-align": "center",
- display: "table-cell!important",
- width: "10000em"
- },
- ".mjx-math": {
- "display": "inline-block",
- "border-collapse": "separate",
- "border-spacing": 0
- },
- ".mjx-math *": {
- display:"inline-block",
- "-webkit-box-sizing": "content-box!important",
- "-moz-box-sizing": "content-box!important",
- "box-sizing": "content-box!important", // override bootstrap settings
- "text-align":"left"
- },
- ".mjx-numerator": {display:"block", "text-align":"center"},
- ".mjx-denominator": {display:"block", "text-align":"center"},
- ".MJXc-stacked": {height:0, position:"relative"},
- ".MJXc-stacked > *": {position: "absolute"},
- ".MJXc-bevelled > *": {display:"inline-block"},
-
- ".mjx-stack": {display:"inline-block"},
- ".mjx-op": {display:"block"},
- ".mjx-under": {display:"table-cell"},
- ".mjx-over": {display:"block"},
- ".mjx-over > *": {"padding-left":"0px!important", "padding-right":"0px!important"},
- ".mjx-under > *": {"padding-left":"0px!important", "padding-right":"0px!important"},
-
- ".mjx-stack > .mjx-sup": {display:"block"},
- ".mjx-stack > .mjx-sub": {display:"block"},
- ".mjx-prestack > .mjx-presup": {display:"block"},
- ".mjx-prestack > .mjx-presub": {display:"block"},
-
- ".mjx-delim-h > .mjx-char": {display:"inline-block"},
-
- ".mjx-surd": {"vertical-align":"top"},
-
- ".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-annotation-xml": {"line-height":"normal"},
-
- ".mjx-menclose > svg": {fill:"none", stroke:"currentColor"},
- ".mjx-mtr": {display:"table-row"},
- ".mjx-mlabeledtr": {display:"table-row"},
- ".mjx-mtd": {display:"table-cell", "text-align":"center"},
- ".mjx-label": {display:"table-row"},
- ".mjx-box": {display:"inline-block"},
- ".mjx-block": {display:"block"},
- ".mjx-span": {display:"inline"},
- ".mjx-char": {display:"block", "white-space":"pre"},
- ".mjx-itable": {display:"inline-table", width:"auto"},
- ".mjx-row": {display:"table-row"},
- ".mjx-cell": {display:"table-cell"},
- ".mjx-table": {display:"table", width:"100%"},
- ".mjx-line": {display:"block", height:0},
- ".mjx-strut": {width:0, "padding-top":STRUTHEIGHT+"em"},
- ".mjx-vsize": {width:0},
- ".MJXc-space1": {"margin-left":".167em"},
- ".MJXc-space2": {"margin-left":".222em"},
- ".MJXc-space3": {"margin-left":".278em"},
-
- ".mjx-chartest": {
- display:"block",
- visibility: "hidden",
- position:"absolute", top:0,
- "line-height":"normal",
- "font-size":"500%"
- },
- ".mjx-chartest .mjx-char": {display:"inline"},
- ".mjx-chartest .mjx-box": {"padding-top": "1000px"},
- ".MJXc-processing": {
- visibility: "hidden", position:"fixed",
- width: 0, height: 0, overflow:"hidden"
- },
- ".MJXc-processed": {display:"none"},
-
- ".mjx-test": {
- display: "block",
- "font-style": "normal",
- "font-weight": "normal",
- "font-size": "100%",
- "font-size-adjust":"none",
- "text-indent": 0,
- "text-transform": "none",
- "letter-spacing": "normal",
- "word-spacing": "normal",
- overflow: "hidden",
- height: "1px"
- },
- ".mjx-ex-box-test": {
- position: "absolute",
- overflow: "hidden",
- width:"1px", height:"60ex"
- },
- ".mjx-line-box-test": {display: "table!important"},
- ".mjx-line-box-test span": {
- display: "table-cell!important",
- width: "10000em!important",
- "min-width":0, "max-width":"none",
- padding:0, border:0, margin:0
- },
-
- "#MathJax_CHTML_Tooltip": {
- "background-color": "InfoBackground", color: "InfoText",
- border: "1px solid black",
- "box-shadow": "2px 2px 5px #AAAAAA", // Opera 10.5
- "-webkit-box-shadow": "2px 2px 5px #AAAAAA", // Safari 3 and Chrome
- "-moz-box-shadow": "2px 2px 5px #AAAAAA", // Firefox 3.5
- "-khtml-box-shadow": "2px 2px 5px #AAAAAA", // Konqueror
- padding: "3px 4px",
- "z-index": 401,
- position: "absolute", left: 0, top: 0,
- width: "auto", height: "auto",
- display: "none"
- }
- };
-
-
- /************************************************************/
-
- var BIGDIMEN = 1000000;
- var MAXREMAP = 5;
- var LINEBREAKS = {}, CONFIG = MathJax.Hub.config;
- 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");
- LINEBREAKS = this.config.linebreaks;
- },
- 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 = CHTML.addElement(document.body,"mjx-block",{style:{display:"block",width:"5in"}});
- this.pxPerInch = div.offsetWidth/5; div.parentNode.removeChild(div);
- //
- // Used in preTranslate to get scaling factors and line width
- //
- this.TestSpan = CHTML.Element("mjx-test",{style:{left:"1em"}},[["mjx-ex-box-test"]]);
- //
- // Used in preTranslate to get linebreak width
- //
- this.linebreakSpan = HTML.Element("span",{className:"mjx-line-box-test"},[["span"]]);
- //
- // Set up styles and preload web fonts
- //
- return AJAX.Styles(this.config.styles,["InitializeCHTML",this]);
- },
-
- InitializeCHTML: function () {
- this.getDefaultExEm();
- //
- // If the defaultEm size is zero, it might be that a web font hasn't
- // arrived yet, so try to wait for it, but don't wait too long.
- //
- if (this.defaultEm) return;
- var ready = MathJax.Callback();
- AJAX.timer.start(AJAX,function (check) {
- if (check.time(ready)) {HUB.signal.Post(["CommonHTML Jax - no default em size"]); return}
- CHTML.getDefaultExEm();
- if (CHTML.defaultEm) {ready()} else {setTimeout(check,check.delay)}
- },this.defaultEmDelay,this.defaultEmTimeout);
- return ready;
- },
- defaultEmDelay: 100, // initial delay when checking for defaultEm
- defaultEmTimeout: 1000, // when to stop looking for defaultEm
- getDefaultExEm: function () {
- //
- // Get the default sizes (need styles in place to do this)
- //
- document.body.appendChild(this.TestSpan);
- document.body.appendChild(this.linebreakSpan);
- this.defaultEm = this.getFontSize(this.TestSpan);
- this.defaultEx = this.TestSpan.firstChild.offsetHeight/60;
- this.defaultWidth = this.linebreakSpan.firstChild.offsetWidth;
- document.body.removeChild(this.linebreakSpan);
- document.body.removeChild(this.TestSpan);
- },
- getFontSize: (window.getComputedStyle ?
- function (node) {
- var style = window.getComputedStyle(node);
- return parseFloat(style.fontSize);
- } :
- //
- // IE 8 doesn't do getComputedStyle, so use
- // an alternative approach
- //
- function (node) {
- return node.style.pixelLeft;
- }
- ),
- getMaxWidth: (window.getComputedStyle ?
- function (node) {
- var style = window.getComputedStyle(node);
- if (style.maxWidth !== "none") return parseFloat(style.maxWidth);
- return 0;
- } :
- //
- // IE 8 doesn't do getComputedStyle, so use
- // currentStyle, and a hack to get the pixels for
- // a non-px max-width
- //
- function (node) {
- var max = node.currentStyle.maxWidth;
- if (max !== "none") {
- if (max.match(/\d*px/)) return parseFloat(max);
- var left = node.style.left;
- node.style.left = max; max = node.style.pixelLeft;
- node.style.left = left;
- return max;
- }
- return 0;
- }
- ),
- //
- // Load data for a font
- //
- loadFont: function (font) {
- HUB.RestartAfter(AJAX.Require(this.fontDir+"/"+font));
- },
- //
- // Signal that the font data are loaded
- //
- fontLoaded: function (font) {
- if (!font.match(/-|fontdata/)) font += "-Regular";
- if (!font.match(/\.js$/)) font += ".js"
- MathJax.Callback.Queue(
- ["Post",HUB.Startup.signal,["CommonHTML - font data loaded",font]],
- ["loadComplete",AJAX,this.fontDir+"/"+font]
- );
- },
-
- Element: function (type,def,content) {
- if (type.substr(0,4) === "mjx-") {
- if (!def) def = {};
- if (def.isMathJax == null) def.isMathJax = true;
- if (def.className) def.className = type+" "+def.className; else def.className = type;
- type = "span";
- }
- return this.HTMLElement(type,def,content);
- },
- addElement: function (node,type,def,content) {
- return node.appendChild(this.Element(type,def,content));
- },
- HTMLElement: HTML.Element,
- ucMatch: HTML.ucMatch,
- setScript: HTML.setScript,
-
- //
- // Look through the direct children of a node for one with the given
- // type (but if the node has intervening containers for its children,
- // step into them; note that elements corresponding to MathML nodes
- // will have id's so we don't step into them).
- //
- // This is used by munderover and msubsup to locate their child elements
- // when they are part of an embellished operator that is being stretched.
- // We don't use querySelector because we want to find only the direct child
- // nodes, not nodes that might be nested deeper in the tree (see issue #1447).
- //
- getNode: function (node,type) {
- var name = RegExp("\\b"+type+"\\b");
- var nodes = [];
- while (node) {
- for (var i = 0, m = node.childNodes.length; i < m; i++) {
- var child = node.childNodes[i];
- if (child) {
- if (name.test(child.className)) return child;
- if (child.id === "") nodes.push(child);
- }
- }
- node = nodes.shift();
- }
- return null;
- },
- /********************************************/
-
- preTranslate: function (state) {
- var scripts = state.jax[this.id], i, m = scripts.length,
- script, prev, node, test, span, jax, ex, em, scale;
- //
- // Get linebreaking information
- //
- var maxwidth = 100000, relwidth = false, cwidth = 0,
- linebreak = LINEBREAKS.automatic, width = LINEBREAKS.width;
- if (linebreak) {
- relwidth = !!width.match(/^\s*(\d+(\.\d*)?%\s*)?container\s*$/);
- if (relwidth) {width = width.replace(/\s*container\s*/,"")}
- else {maxwidth = this.defaultWidth}
- if (width === "") {width = "100%"}
- }
- //
- // 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 && prev.className && String(prev.className).substr(0,9) === "mjx-chtml")
- prev.parentNode.removeChild(prev);
- if (script.MathJax.preview) script.MathJax.preview.style.display = "none";
- //
- // Add the node for the math and mark it as being processed
- //
- jax = script.MathJax.elementJax; if (!jax) continue;
- jax.CHTML = {
- display: (jax.root.Get("display") === "block"),
- preview: (jax.CHTML||{}).preview // in case typeset calls are interleaved
- };
- node = CHTML.Element("mjx-chtml",{
- id:jax.inputID+"-Frame", className:"MathJax_CHTML", 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,
- // Added for keyboard accessible menu.
- onkeydown: EVENT.Keydown, tabIndex: HUB.getTabOrder(jax)
- });
- if (jax.CHTML.display) {
- //
- // Zoom box requires an outer container to get the positioning right.
- //
- var NODE = CHTML.Element("mjx-chtml",{className:"MJXc-display",isMathJax:false});
- NODE.appendChild(node); node = NODE;
- }
- if (HUB.Browser.noContextMenu) {
- node.ontouchstart = TOUCH.start;
- node.ontouchend = TOUCH.end;
- }
- //
- node.className += " MJXc-processing";
- script.parentNode.insertBefore(node,script);
- //
- // Add test nodes for determineing scales and linebreak widths
- //
- script.parentNode.insertBefore(this.linebreakSpan.cloneNode(true),script);
- script.parentNode.insertBefore(this.TestSpan.cloneNode(true),script);
- }
- //
- // Determine the scaling factors for each script
- // (this only requires one reflow rather than a reflow for each equation)
- //
- for (i = 0; i < m; i++) {
- script = scripts[i]; if (!script.parentNode) continue;
- test = script.previousSibling;
- jax = script.MathJax.elementJax; if (!jax) continue;
- em = CHTML.getFontSize(test);
- ex = test.firstChild.offsetHeight/60;
- cwidth = Math.max(0,test.previousSibling.firstChild.offsetWidth-2);
- if (ex === 0 || ex === "NaN") {
- ex = this.defaultEx;
- cwidth = this.defaultWidth;
- }
- if (relwidth) maxwidth = cwidth;
- scale = (this.config.matchFontHeight ? ex/this.TEX.x_height/em : 1);
- scale = Math.floor(Math.max(this.config.minScaleAdjust/100,scale)*this.config.scale);
- jax.CHTML.scale = scale/100; jax.CHTML.fontSize = scale+"%";
- jax.CHTML.outerEm = em; jax.CHTML.em = this.em = em * scale/100;
- jax.CHTML.ex = ex; jax.CHTML.cwidth = cwidth/this.em;
- jax.CHTML.lineWidth = (linebreak ? this.length2em(width,maxwidth/this.em,1) : maxwidth);
- }
- //
- // Remove the test spans used for determining scales and linebreak widths
- //
- for (i = 0; i < m; i++) {
- script = scripts[i]; if (!script.parentNode) continue;
- test = script.previousSibling;
- span = test.previousSibling;
- jax = script.MathJax.elementJax; if (!jax) continue;
- span.parentNode.removeChild(span);
- test.parentNode.removeChild(test);
- if (script.MathJax.preview) script.MathJax.preview.style.display = "";
- }
- 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,
- node = document.getElementById(jax.inputID+"-Frame");
- if (!node) return;
- this.getMetrics(jax);
- if (this.scale !== 1) node.style.fontSize = jax.CHTML.fontSize;
- //
- // Typeset the math
- //
- this.initCHTML(math,node);
- this.savePreview(script);
- this.CHTMLnode = node;
- try {
- math.setTeXclass();
- math.toCommonHTML(node);
- } catch (err) {
- while (node.firstChild) node.removeChild(node.firstChild);
- delete this.CHTMLnode;
- this.restorePreview(script);
- throw err;
- }
- delete this.CHTMLnode;
- this.restorePreview(script);
- //
- // Put it in place, and remove the processing marker
- //
- if (jax.CHTML.display) node = node.parentNode;
- node.className = node.className.replace(/ [^ ]+$/,"");
- //
- // Hide the math and don't let its preview be removed
- //
- node.className += " MJXc-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,node) {},
- //
- // MathML previews can contain the same ID's as the HTML output,
- // which confuses CHTMLnodeElement(), so remove the preview temporarily
- // and restore it after typesetting the math.
- //
- savePreview: function (script) {
- var preview = script.MathJax.preview;
- if (preview && preview.parentNode) {
- script.MathJax.tmpPreview = document.createElement("span");
- preview.parentNode.replaceChild(script.MathJax.tmpPreview,preview);
- }
- },
- restorePreview: function (script) {
- var tmpPreview = script.MathJax.tmpPreview;
- if (tmpPreview) {
- tmpPreview.parentNode.replaceChild(script.MathJax.preview,tmpPreview);
- delete script.MathJax.tmpPreview;
- }
- },
- //
- // Get the jax metric information
- //
- getMetrics: function(jax) {
- var data = jax.CHTML;
- this.jax = jax;
- this.em = data.em;
- this.outerEm = data.outerEm;
- this.scale = data.scale;
- this.cwidth = data.cwidth;
- this.linebreakWidth = data.lineWidth;
- },
- /********************************************/
-
- postTranslate: function (state) {
- var scripts = state.jax[this.id];
- //
- // 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.replace(/ [^ ]+$/,"");
- var data = script.MathJax.elementJax.CHTML;
- //
- // Remove the preview, if any
- //
- if (data.preview) {
- data.preview.innerHTML = "";
- data.preview.style.display = "none";
- 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.match(/MJXc-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 = jax.root.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
- //
- this.getMetrics(jax);
- var node = CHTML.addElement(span,"mjx-chtml",{style:{"font-size":Math.floor(CHTML.scale*100)+"%"},isMathJax:false});
- CHTML.CHTMLnode = node;
- this.idPostfix = "-zoom"; jax.root.toCommonHTML(node); this.idPostfix = "";
- //
- // Adjust margins to prevent overlaps at the edges
- //
- var style = node.style, bbox = jax.root.CHTML;
- if (bbox.t > bbox.h) style.marginTop = CHTML.Em(bbox.t-bbox.h);
- if (bbox.b > bbox.d) style.marginBottom = CHTML.Em(bbox.b-bbox.d);
- if (bbox.l < 0) style.paddingLeft = CHTML.Em(-bbox.l);
- if (bbox.r > bbox.w) style.marginRight = CHTML.Em(bbox.r-bbox.w);
- //
- // Get height and width of zoomed math and original math
- //
- style.position = "absolute";
- var zW = node.offsetWidth, zH = node.offsetHeight,
- mH = math.firstChild.offsetHeight, mW = math.firstChild.offsetWidth;
- node.style.position = "";
- //
- return {Y:-EVENT.getBBox(span).h, mW:mW, mH:mH, zW:zW, zH:zH};
- },
- Remove: function (jax) {
- var node = document.getElementById(jax.inputID+"-Frame");
- if (node && jax.CHTML.display) node = node.parentNode;
- if (node) node.parentNode.removeChild(node);
- 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
- },
- SPACECLASS: {
- thinmathspace: "MJXc-space1",
- mediummathspace: "MJXc-space2",
- thickmathspace: "MJXc-space3"
- },
- pxPerInch: 96,
- em: 16,
-
- maxStretchyParts: 1000, // limit the number of parts allowed for
- // stretchy operators. See issue 366.
- 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: .45, //.6, // better spacing for under arrows and braces
- big_op_spacing5: .1,
- surd_height: .075,
-
- scriptspace: .05,
- nulldelimiterspace: .12,
- delimiterfactor: 901,
- delimitershortfall: .3,
- min_rule_thickness: 1.25 // in pixels
- },
-
- /********************************************************/
-
- //
- // Get a unicode character by number (even when it takes two character)
- //
- unicodeChar: function (n) {
- if (n < 0xFFFF) return String.fromCharCode(n);
- n -= 0x10000;
- return String.fromCharCode((n>>10)+0xD800) + String.fromCharCode((n&0x3FF)+0xDC00);
- },
- //
- // Get the unicode number of a (possibly multi-character) string
- //
- 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;
- },
- //
- // Get the list of actions for a given character in a given variant
- // (processing remaps, multi-character results, and so on). Results are
- // cached so that future lookups for the same variant/n pair will not
- // require looking through the data again.
- //
- getCharList: function (variant,n) {
- var id, M, cache = variant.cache, nn = n;
- if (cache[n]) return cache[n];
- if (n > 0xFFFF && this.FONTDATA.RemapPlane1) {
- var nv = this.FONTDATA.RemapPlane1(n,variant);
- n = nv.n; variant = nv.variant;
- }
- 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;
- }
- }
- }
- cache[nn] = this.remapChar(variant,n,0);
- return cache[nn];
- },
- remapChar: function (variant,n,N) {
- var list = [], VARIANT = this.FONTDATA.VARIANT;
- 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 (isArray(n)) {
- if (n[2]) N = MAXREMAP; // stop remapping
- 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,N)}
- }
- return list;
- },
- //
- // After all remapping has been done, look up a character
- // in the fonts for a given variant, chaining to other
- // variants as needed. Return an undefined character if
- // it isnt' found in the given variant.
- //
- lookupChar: function (variant,n,N) {
- var VARIANT = variant;
- 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) {
- this.fixChar(C,n);
- if (C[5].space) return [{type:"space", w:C[2], font:font}];
- return [{type:"char", font:font, n:n}];
- } else if (font.Extra) {
- this.findBlock(font,n);
- }
- }
- variant = this.FONTDATA.VARIANT[variant.chain];
- if (variant && variant.remap && variant.remap[n] && N++ < MAXREMAP) {
- return this.remapChar(variant,n,N);
- }
- }
- return [this.unknownChar(VARIANT,n)];
- },
- fixChar: function (C,n) {
- 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;
- C.c = this.unicodeChar(n);
- }
- return C;
- },
- findBlock: function (font,n) {
- var extra = font.Extra, name = font.file, file;
- for (var i = 0, m = extra.length; i < m; i++) {
- if (typeof(extra[i]) === "number") {
- if (n === extra[i]) {file = name; break}
- } else {
- if (n < extra[i][0]) return;
- if (n <= extra[i][1]) {file = name; break}
- }
- }
- //
- // Currently this only loads one extra file, but that
- // might need to be expanded in the future.
- //
- if (file) {delete font.Extra; this.loadFont(name)}
- },
- //
- // Create a fake font entry for an unknown character.
- //
- unknownChar: function (variant,n) {
- HUB.signal.Post(["CommonHTML Jax - unknown char",n,variant]);
- var id = ""; if (variant.bold) id += "B"; if (variant.italic) id += "I";
- var unknown = this.FONTDATA.UNKNOWN[id||"R"]; // cache of previously measured characters
- if (!unknown[n]) this.getUnknownChar(unknown,n);
- return {type:"unknown", n:n, font:unknown};
- },
- getUnknownChar: function (unknown,n) {
- var c = this.unicodeChar(n);
- var HDW = this.getHDW(c,unknown.className);
- // ### FIXME: provide a means of setting the height and depth for individual characters
- unknown[n] = [.8,.2,HDW.w,0,HDW.w,{a:Math.max(0,(HDW.h-HDW.d)/2), h:HDW.h, d:HDW.d}];
- unknown[n].c = c;
- },
- styledText: function (variant,text) {
- HUB.signal.Post(["CommonHTML Jax - styled text",text,variant]);
- var style = variant.style;
- var id = "_"+(style["font-family"]||variant.className||"");
- if (style["font-weight"]) id += "_"+style["font-weight"];
- if (style["font-style"]) id += "_"+style["font-style"];
- if (!this.STYLEDTEXT) this.STYLEDTEXT = {};
- if (!this.STYLEDTEXT[id]) this.STYLEDTEXT[id] = {className:variant.className||""};
- var unknown = this.STYLEDTEXT[id];
- if (!unknown["_"+text]) {
- var HDW = this.getHDW(text,variant.className||"",style);
- unknown["_"+text] = [.8,.2,HDW.w,0,HDW.w,{a:Math.max(0,(HDW.h-HDW.d)/2), h:HDW.h, d:HDW.d}];
- unknown["_"+text].c = text;
- }
- return {type:"unknown", n:"_"+text, font:unknown, style:style, rscale:variant.rscale};
- },
- //
- // Get the height, depth, and width of a character
- // (height and depth are of the font, not the character).
- // WARNING: causes reflow of the page!
- //
- getHDW: function (c,name,styles) {
- var test1 = CHTML.addElement(CHTML.CHTMLnode,"mjx-chartest",{className:name},[["mjx-char",{style:styles},[c]]]);
- var test2 = CHTML.addElement(CHTML.CHTMLnode,"mjx-chartest",{className:name},[["mjx-char",{style:styles},[c,["mjx-box"]]]]);
- test1.firstChild.style.fontSize = test2.firstChild.style.fontSize = "";
- var em = 5*CHTML.em;
- var H1 = test1.offsetHeight, H2 = test2.offsetHeight, W = test1.offsetWidth;
- CHTML.CHTMLnode.removeChild(test1);
- CHTML.CHTMLnode.removeChild(test2);
- if (H2 === 0) {
- em = 5*CHTML.defaultEm;
- var test = document.body.appendChild(document.createElement("div"));
- test.appendChild(test1); test.appendChild(test2);
- H1 = test1.offsetHeight, H2 = test2.offsetHeight, W = test1.offsetWidth;
- document.body.removeChild(test);
- }
- var d = (H2-1000)/em, w = W/em, h = H1/em - d;
- return {h:h, d:d, w:w}
- },
-
- /********************************************************/
-
- //
- // Process a character list into a given node and return
- // the updated bounding box.
- //
- addCharList: function (node,list,bbox) {
- var state = {text:"", className:null, a:0};
- for (var i = 0, m = list.length; i < m; i++) {
- var item = list[i];
- if (this.charList[item.type]) (this.charList[item.type])(item,node,bbox,state,m);
- }
- if (state.text !== "") {
- if (node.childNodes.length) {
- this.charList.flushText(node,state);
- } else {
- HTML.addText(node,state.text);
- if (node.className) node.className += " "+state.className;
- else node.className = state.className;
- }
- }
- bbox.b = (state.flushed ? 0 : bbox.a);
- },
- //
- // The various item types are processed by these
- // functions.
- //
- charList: {
- //
- // Character from the known fonts
- //
- "char": function (item,node,bbox,state,m) {
- var font = item.font, remap = (font.remapCombining||{})[item.n];
- if (font.className === state.className) {
- remap = null;
- } else if (state.className || (remap && state.text !== "")) {
- this.flushText(node,state);
- }
- if (!state.a) state.a = font.centerline/1000;
- if (state.a > (bbox.a||0)) bbox.a = state.a;
- state.className = font.className;
- var C = font[item.n];
- if (remap) {
- var FONT = font;
- if (isArray(remap)) {
- FONT = CHTML.FONTDATA.FONTS[remap[1]];
- remap = remap[0];
- if (typeof(FONT) === 'string') CHTML.loadFont(FONT);
- }
- if (FONT[item.n]) CHTML.fixChar(FONT[item.n],item.n);
- C = CHTML.fixChar(FONT[remap],remap);
- state.className = FONT.className;
- }
- state.text += C.c;
- if (bbox.h < C[0]+HFUZZ) bbox.t = bbox.h = C[0]+HFUZZ;
- if (bbox.d < C[1]+DFUZZ) bbox.b = bbox.d = C[1]+DFUZZ;
- 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] * (item.rscale||1);
- if (m == 1 && font.skew && font.skew[item.n]) bbox.skew = font.skew[item.n];
- if (C[5] && C[5].rfix) this.flushText(node,state).style.marginRight = CHTML.Em(C[5].rfix/1000);
- if (remap) {
- //
- // Remap combining characters to non-combining versions since Safari
- // handles them differently from everyone else. (#1709)
- //
- var chr = this.flushText(node,state);
- var r = (FONT[item.n]||font[item.n])[4] - (C[4] - C[2]);
- chr.style.marginLeft = CHTML.Em(-C[2]-r);
- if (r < 0) chr.style.marginRight = CHTML.Em(-r);
- }
- },
- //
- // Space characters (not actually in the fonts)
- //
- space: function (item,node,bbox,state) {
- if (item.w) {
- if (state.text === "") state.className = item.font.className;
- this.flushText(node,state).style.marginRight = CHTML.Em(item.w);
- bbox.w += item.w;
- }
- },
- //
- // An unknown character (one not in the font data)
- //
- unknown: function (item,node,bbox,state) {
- (this["char"])(item,node,bbox,state,0);
- var C = item.font[item.n];
- if (C[5].a) {
- state.a = C[5].a;
- if (bbox.a == null || state.a > bbox.a) bbox.a = state.a;
- }
- node = this.flushText(node,state,item.style);
- if (C[2] < 3) node.style.width = CHTML.Em(C[2]); // only force width if not too large (#1718)
- },
- //
- // Put the pending text into a box of the class, and
- // reset the data about the text.
- //
- flushText: function (node,state,style) {
- node = CHTML.addElement(node,"mjx-charbox",
- {className:state.className,style:style},[state.text]);
- if (state.a) node.style.paddingBottom = CHTML.Em(state.a);
- state.text = ""; state.className = null; state.a = 0; state.flushed = true;
- return node;
- }
- },
- //
- // Add the given text (in the given variant) into the given node, and
- // update the bounding box of the result. Make sure the node's DOM
- // bounding box matches the contents.
- //
- handleText: function (node,text,variant,bbox) {
- if (node.childNodes.length === 0) {
- CHTML.addElement(node,"mjx-char");
- bbox = CHTML.BBOX.empty(bbox);
- }
- if (typeof(variant) === "string") variant = this.FONTDATA.VARIANT[variant];
- if (!variant) variant = this.FONTDATA.VARIANT[MML.VARIANT.NORMAL];
- var string = {text:text, i:0, length:text.length}, list = [];
- if (variant.style && string.length) {
- list.push(this.styledText(variant,text));
- } else {
- while (string.i < string.length) {
- var n = this.getUnicode(string);
- list.push.apply(list,this.getCharList(variant,n));
- }
- }
- if (list.length) this.addCharList(node.firstChild,list,bbox);
- bbox.clean();
- if (bbox.d < 0) {bbox.D = bbox.d; bbox.d = 0}
- if (bbox.h - bbox.a) node.firstChild.style[bbox.h - bbox.a < 0 ? "marginTop" : "paddingTop"] = this.EmRounded(bbox.h-bbox.a);
- if (bbox.d > -bbox.b) node.firstChild.style.paddingBottom = this.EmRounded(bbox.d+bbox.b);
- return bbox;
- },
- /********************************************************/
- createDelimiter: function (node,code,HW,BBOX,font) {
- if (!code) {
- var bbox = this.BBOX.zero();
- bbox.w = bbox.r = this.TEX.nulldelimiterspace;
- CHTML.addElement(node,"mjx-box",{style:{width:bbox.w}});
- return bbox;
- }
- 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+"/TeX/fontdata-"+delim.load+".js"));
- for (var i = 0, m = delim.HW.length; i < m; i++) {
- if (delim.HW[i][0] >= HW-.01 || (i == m-1 && !delim.stretch)) {
- if (delim.HW[i][3]) code = delim.HW[i][3];
- bbox = this.createChar(node,[code,delim.HW[i][1]],(delim.HW[i][2]||1),font);
- bbox.offset = .6 * bbox.w;
- if (BBOX) {bbox.scale = BBOX.scale; BBOX.rscale = BBOX.rscale}
- return bbox;
- }
- }
- if (!delim.stretch) return bbox;
- return this["extendDelimiter"+delim.dir](node,hw,delim.stretch,BBOX,font);
- },
- extendDelimiterV: function (node,H,delim,BBOX,font) {
- node = CHTML.addElement(node,"mjx-delim-v"); var tmp = CHTML.Element("span");
- var top, bot, mid, ext, tbox, bbox, mbox, ebox, k = 1, c;
- tbox = this.createChar(tmp,(delim.top||delim.ext),1,font); top = tmp.removeChild(tmp.firstChild);
- bbox = this.createChar(tmp,(delim.bot||delim.ext),1,font); bot = tmp.removeChild(tmp.firstChild);
- mbox = ebox = CHTML.BBOX.zero();
- var h = tbox.h + tbox.d + bbox.h + bbox.d - EFUZZ;
- node.appendChild(top);
- if (delim.mid) {
- mbox = this.createChar(tmp,delim.mid,1,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,1,font); ext = tmp.removeChild(tmp.firstChild);
- var eH = ebox.h + ebox.d, eh = eH - EFUZZ;
- var n = Math.min(Math.ceil((H-h)/(k*eh)),this.maxStretchyParts);
- if (delim.fullExtenders) H = n*k*eh + h; else eh = (H-h)/(k*n);
- c = ebox.d + ebox.a - eH/2; // for centering of extenders
- ext.style.margin = ext.style.padding = "";
- ext.style.lineHeight = CHTML.Em(eh);
- ext.style.marginBottom = CHTML.Em(c-EFUZZ/2/k);
- ext.style.marginTop = CHTML.Em(-c-EFUZZ/2/k);
- var TEXT = ext.textContent, text = "\n"+TEXT;
- while (--n > 0) TEXT += text;
- ext.textContent = TEXT;
- node.appendChild(ext);
- if (delim.mid) {
- node.appendChild(mid);
- node.appendChild(ext.cloneNode(true));
- }
- } else {
- c = (H-h-EFUZZ) / k;
- top.style.marginBottom = CHTML.Em(c+parseFloat(top.style.marginBottom||"0"));
- if (delim.mid) node.appendChild(mid);
- bot.style.marginTop = CHTML.Em(c+parseFloat(bot.style.marginTop||"0"));
- }
- node.appendChild(bot);
- var vbox = CHTML.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
- });
- vbox.offset = .5 * vbox.w;
- if (BBOX) {vbox.scale = BBOX.scale; vbox.rscale = BBOX.rscale}
- return vbox;
- },
- extendDelimiterH: function (node,W,delim,BBOX,font) {
- node = CHTML.addElement(node,"mjx-delim-h"); var tmp = CHTML.Element("span");
- var left, right, mid, ext, ext2, lbox, rbox, mbox, ebox, k = 1;
- lbox = this.createChar(tmp,(delim.left||delim.rep),1,font); left = tmp.removeChild(tmp.firstChild);
- rbox = this.createChar(tmp,(delim.right||delim.rep),1,font); right = tmp.removeChild(tmp.firstChild);
- ebox = this.createChar(tmp,delim.rep,1,font); ext = tmp.removeChild(tmp.firstChild);
- left.style.marginLeft = CHTML.Em(-lbox.l);
- right.style.marginRight = CHTML.Em(rbox.r-rbox.w);
- node.appendChild(left);
- var hbox = CHTML.BBOX.zero();
- hbox.h = Math.max(lbox.h,rbox.h,ebox.h);
- hbox.d = Math.max(lbox.D||lbox.d,rbox.D||rbox.d,ebox.D||ebox.d);
- var w = (lbox.r - lbox.l) + (rbox.r - rbox.l) - EFUZZ;
- if (delim.mid) {
- mbox = this.createChar(tmp,delim.mid,1,font);
- mid = tmp.removeChild(tmp.firstChild);
- mid.style.marginleft = CHTML.Em(-mbox.l); mid.style.marginRight = CHTML.Em(mbox.r-mbox.w);
- w += mbox.r - mbox.l + EFUZZ; k = 2;
- if (mbox.h > hbox.h) hbox.h = mbox.h;
- if (mbox.d > hbox.d) hbox.d = mbox.d;
- }
- if (delim.min && W < w*delim.min) W = w*delim.min;
- hbox.w = hbox.r = W;
- if (W > w) {
- var eW = ebox.r-ebox.l, ew = eW - EFUZZ;
- var n = Math.min(Math.ceil((W-w)/(k*ew)),this.maxStretchyParts);
- if (delim.fullExtenders) W = n*k*ew + w; else ew = (W-w)/(k*n);
- var c = (eW - ew + EFUZZ/k) / 2; // for centering of extenders
- ext.style.marginLeft = CHTML.Em(-ebox.l-c);
- ext.style.marginRight = CHTML.Em(ebox.r-ebox.w+c);
- ext.style.letterSpacing = CHTML.Em(-(ebox.w-ew));
- left.style.marginRight = CHTML.Em(lbox.r-lbox.w);
- right.style.marginleft = CHTML.Em(-rbox.l);
- var TEXT = ext.textContent, text = TEXT;
- while (--n > 0) TEXT += text;
- ext.textContent = TEXT;
- node.appendChild(ext);
- if (delim.mid) {
- node.appendChild(mid);
- ext2 = node.appendChild(ext.cloneNode(true));
- }
- } else {
- c = (W-w-EFUZZ/k) / 2;
- left.style.marginRight = CHTML.Em(lbox.r-lbox.w+c);
- if (delim.mid) node.appendChild(mid);
- right.style.marginLeft = CHTML.Em(-rbox.l+c);
- }
- node.appendChild(right);
- this.adjustHeights([left,ext,mid,ext2,right],[lbox,ebox,mbox,ebox,rbox],hbox);
- if (BBOX) {hbox.scale = BBOX.scale; hbox.rscale = BBOX.rscale}
- return hbox;
- },
- adjustHeights: function (nodes,box,bbox) {
- //
- // To get alignment right in horizontal delimiters, we force all
- // the elements to the same height and depth
- //
- var T = bbox.h, B = bbox.d;
- if (bbox.d < 0) {B = -bbox.d; bbox.D = bbox.d; bbox.d = 0}
- for (var i = 0, m = nodes.length; i < m; i++) if (nodes[i]) {
- nodes[i].style.paddingTop = CHTML.Em(T-box[i].a);
- nodes[i].style.paddingBottom = CHTML.Em(B+box[i].a);
- nodes[i].style.marginTop = nodes[i].style.marginBottom = 0;
- }
- },
- 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 && this.FONTDATA.FONTS[data[1]+"-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];
- var bbox = this.handleText(node,text,variant), style = node.firstChild.style;
- if (scale !== 1) style.fontSize = this.Percent(scale);
- if (data[2]) { // x offset
- style.paddingLeft = this.Em(data[2]);
- bbox.w += data[2]; bbox.r += data[2];
- }
- if (data[3]) { // y offset
- style.verticalAlign = this.Em(data[3]);
- bbox.h += data[3]; if (bbox.h < 0) bbox.h = 0;
- }
- if (data[5]) { // extra height
- style.marginTop = this.Em(data[5]);
- bbox.h += data[5]; bbox.t += data[5];
- }
- if (data[6]) { // extra depth
- style.marginBottom = this.Em(data[6]);
- bbox.d += data[6]; bbox.b += data[6];
- }
- return bbox;
- },
- /********************************************************/
-
- //
- // ### FIXME: Handle mu's
- //
- length2em: function (length,size,scale) {
- 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 (!scale) scale = 1;
- scale = 1 /this.em / scale;
- 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 * scale;
- if (unit === "pt") return m / 10; // 10 pt to an em
- if (unit === "pc") return m * 1.2; // 12 pt to a pc
- scale *= this.pxPerInch;
- if (unit === "in") return m * scale;
- if (unit === "cm") return m * scale / 2.54; // 2.54 cm to an inch
- if (unit === "mm") return m * scale / 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)
- },
- thickness2em: function (length,scale) {
- var thick = CHTML.TEX.rule_thickness/(scale||1);
- if (length === MML.LINETHICKNESS.MEDIUM) return thick;
- if (length === MML.LINETHICKNESS.THIN) return .67*thick;
- if (length === MML.LINETHICKNESS.THICK) return 1.67*thick;
- return this.length2em(length,thick,scale);
- },
- Em: function (m) {
- if (Math.abs(m) < .001) return "0";
- return (m.toFixed(3).replace(/\.?0+$/,""))+"em";
- },
- EmRounded: function (m) {
- m = (Math.round(m*CHTML.em)+.05)/CHTML.em;
- if (Math.abs(m) < .0006) {return "0em"}
- return m.toFixed(3).replace(/\.?0+$/,"") + "em";
- },
- unEm: function (m) {
- return parseFloat(m);
- },
- Px: function (m,M) {
- m *= this.em;
- if (M && m < M) m = M;
- if (Math.abs(m) < .1) return "0";
- return m.toFixed(1).replace(/\.0$/,"")+"px";
- },
-
- 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 = style["-ms-transform"] = trans;
- if (origin)
- style.transformOrigin = style.WebkitTransformOrigin =
- style.MozTransformOrigin = style["-ms-transform-origin"] = origin;
- },
- /********************************************************/
-
- arrayEntry: function (a,i) {return a[Math.max(0,Math.min(i,a.length-1))]},
- //
- // Styles to be removed from style="..." attributes
- //
- removeStyles: ["fontSize","fontFamily","fontWeight","fontStyle","fontVariant","font"]
-
- });
- /**********************************************************/
- CHTML.BBOX = MathJax.Object.Subclass({
- Init: function (def) {
- for (var id in def) {
- if (def.hasOwnProperty(id)) this[id] = def[id];
- }
- },
- clean: function () {
- if (this.h === -BIGDIMEN) this.h = 0;
- if (this.d === -BIGDIMEN) this.d = 0;
- if (this.l === BIGDIMEN) this.l = 0;
- if (this.r === -BIGDIMEN) this.r = 0;
- if (this.t === -BIGDIMEN) this.t = 0;
- if (this.b === -BIGDIMEN) this.b = 0;
- if (this.D && this.d > 0) delete this.D;
- },
- rescale: function (scale) {
- this.w *= scale; this.h *= scale; this.d *= scale;
- this.l *= scale; this.r *= scale; this.t *= scale; this.b *= scale;
- if (this.L) this.L *= scale;
- if (this.R) this.R *= scale;
- if (this.D) this.D *= scale;
- },
- combine: function (cbox,x,y) {
- cbox.X = x; cbox.Y = y; // save for use with line breaking
- var scale = cbox.rscale;
- if (x + scale*cbox.r > this.r) this.r = x + scale*cbox.r;
- if (x + scale*cbox.l < this.l) this.l = x + scale*cbox.l;
- if (x + scale*(cbox.w+(cbox.L||0)+(cbox.R||0)) > this.w)
- this.w = x + scale*(cbox.w + (cbox.L||0) + (cbox.R||0));
- if (y + scale*cbox.h > this.h) this.h = y + scale*cbox.h;
- if (cbox.D && (this.D == null || scale*cbox.D - y > this.D) && scale*cbox.D > this.d) this.D = scale*cbox.D - y;
- else if (cbox.D == null && this.D) delete this.D;
- if (scale*cbox.d - y > this.d) this.d = scale*cbox.d - y;
- if (y + scale*cbox.t > this.t) this.t = y + scale*cbox.t;
- if (scale*cbox.b - y > this.b) this.b = scale*cbox.b - y;
- },
- append: function (cbox) {
- var scale = cbox.rscale; var x = this.w;
- if (x + scale*cbox.r > this.r) this.r = x + scale*cbox.r;
- if (x + scale*cbox.l < this.l) this.l = x + scale*cbox.l;
- this.w += scale*(cbox.w+(cbox.L||0)+(cbox.R||0)) ;
- if (scale*cbox.h > this.h) this.h = scale*cbox.h;
- if (cbox.D && (this.D == null || scale*cbox.D > this.D) && scale*cbox.D > this.d) this.D = scale*cbox.D;
- else if (cbox.D == null && this.D) delete this.D;
- if (scale*cbox.d > this.d) this.d = scale*cbox.d;
- if (scale*cbox.t > this.t) this.t = scale*cbox.t;
- if (scale*cbox.b > this.b) this.b = scale*cbox.b;
- },
- updateFrom: function (cbox) {
- this.h = cbox.h; this.d = cbox.d; this.w = cbox.w; this.r = cbox.r; this.l = cbox.l;
- this.t = cbox.t; this.b = cbox.b;
- if (cbox.pwidth) this.pwidth = cbox.pwidth;
- if (cbox.D) this.D = cbox.D; else delete this.D;
- },
- adjust: function (m,x,X,M) {
- this[x] += CHTML.length2em(m,1,this.scale);
- if (M == null) {
- if (this[x] > this[X]) this[X] = this[x];
- } else {
- if (this[X] < M) this[X] = M;
- }
- }
- },{
- zero: function () {
- return CHTML.BBOX({h:0, d:0, w:0, l:0, r:0, t:0, b:0, scale:1, rscale:1});
- },
- empty: function (bbox) {
- if (!bbox) bbox = CHTML.BBOX.zero();
- bbox.h = bbox.d = bbox.r = bbox.t = bbox.b = -BIGDIMEN;
- bbox.w = 0; bbox.l = BIGDIMEN;
- delete bbox.pwidth;
- return bbox;
- },
- //
- // CSS styles that affect BBOXes
- //
- styleAdjust: [
- ["borderTopWidth","h","t"],
- ["borderRightWidth","w","r"],
- ["borderBottomWidth","d","b"],
- ["borderLeftWidth","w","l",0],
- ["paddingTop","h","t"],
- ["paddingRight","w","r"],
- ["paddingBottom","d","b"],
- ["paddingLeft","w","l",0],
- ]
- });
-
- /**********************************************************/
- MathJax.Hub.Register.StartupHook("mml Jax Ready",function () {
- MML = MathJax.ElementJax.mml;
- /********************************************************/
-
- MML.mbase.Augment({
- toCommonHTML: function (node,options) {
- return this.CHTMLdefaultNode(node,options);
- },
- CHTMLmultiline: function () {MML.mbase.CHTMLautoloadFile("multiline")},
- CHTMLdefaultNode: function (node,options) {
- if (!options) options = {};
- node = this.CHTMLcreateNode(node); this.CHTML = CHTML.BBOX.empty();
- this.CHTMLhandleStyle(node);
- if (this.isToken) this.CHTMLgetVariant();
- this.CHTMLhandleScale(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) this.CHTML.clean();
- this.CHTMLhandleSpace(node);
- this.CHTMLhandleBBox(node);
- this.CHTMLhandleColor(node);
- return node;
- },
- CHTMLaddChild: function (node,i,options) {
- var child = this.data[i], cnode;
- var type = options.childNodes;
- if (type instanceof Array) type = type[i]||"span";
- if (child) {
- if (type) node = CHTML.addElement(node,type);
- cnode = child.toCommonHTML(node,options.childOptions);
- if (type && child.CHTML.rscale !== 1) {
- // move scale factor to outer container (which seems to be more accurate)
- node.style.fontSize = node.firstChild.style.fontSize;
- node.firstChild.style.fontSize = "";
- }
- if (!options.noBBox) {
- var bbox = this.CHTML, cbox = child.CHTML;
- bbox.append(cbox);
- if (this.data.length === 1) {
- if (cbox.ic) bbox.ic = cbox.ic;
- if (cbox.skew) bbox.skew = cbox.skew;
- } else {
- delete bbox.ic;
- delete bbox.skew;
- }
- if (cbox.pwidth) bbox.pwidth = cbox.pwidth;
- }
- } else if (options.forceChild) {
- cnode = CHTML.addElement(node,(type||"mjx-box"));
- }
- return cnode;
- },
-
- CHTMLchildNode: function (node,i) {
- node = node.childNodes[i];
- if (node.nodeName.toLowerCase() === "a") node = node.firstChild;
- return node;
- },
- CHTMLcoreNode: function (node) {
- if (this.inferRow && this.data[0]) return this.data[0].CHTMLcoreNode(node.firstChild);
- return this.CHTMLchildNode(node,this.CoreIndex());
- },
-
- CHTMLstretchChildV: function (i,H,D) {
- var data = this.data[i];
- if (data) {
- var bbox = this.CHTML, dbox = data.CHTML;
- if (dbox.stretch || (dbox.stretch == null && data.CHTMLcanStretch("Vertical",H,D))) {
- var w = dbox.w;
- dbox = data.CHTMLstretchV(H,D);
- bbox.w += dbox.w - w;
- if (bbox.w > bbox.r) bbox.r = bbox.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,node) {
- var data = this.data[i];
- if (data) {
- var bbox = this.CHTML, dbox = data.CHTML;
- if (dbox.stretch || (dbox.stretch == null && data.CHTMLcanStretch("Horizontal",W))) {
- var w = dbox.w;
- dbox = data.CHTMLstretchH(this.CHTMLchildNode(node,i),W);
- bbox.w += dbox.w - w;
- if (bbox.w > bbox.r) bbox.r = bbox.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;
- }
- }
- },
- CHTMLupdateFrom: function (bbox) {
- this.CHTML.updateFrom(bbox);
- if (this.inferRow) this.data[0].CHTML.updateFrom(bbox);
- },
- 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) {
- this.CHTMLupdateFrom(this.Core().CHTMLstretchV(h,d));
- return this.CHTML;
- },
- CHTMLstretchH: function (node,w) {
- this.CHTMLupdateFrom(this.CHTMLstretchCoreH(node,w));
- return this.CHTML;
- },
- CHTMLstretchCoreH: function (node,w) {
- return this.Core().CHTMLstretchH(this.CHTMLcoreNode(node),w);
- },
- CHTMLcreateNode: function (node) {
- if (!this.CHTML) this.CHTML = {};
- this.CHTML = CHTML.BBOX.zero();
- if (this.href) node = CHTML.addElement(node,"a",{href:this.href, isMathJax:true});
- if (!this.CHTMLnodeID) this.CHTMLnodeID = CHTML.GetID();
- var id = (this.id || "MJXc-Node-"+this.CHTMLnodeID)+CHTML.idPostfix;
- return this.CHTMLhandleAttributes(CHTML.addElement(node,"mjx-"+this.type,{id:id}));
- },
- CHTMLnodeElement: function () {
- if (!this.CHTMLnodeID) {return null}
- return document.getElementById((this.id||"MJXc-Node-"+this.CHTMLnodeID)+CHTML.idPostfix);
- },
-
- CHTMLlength2em: function (length,size) {
- return CHTML.length2em(length,size,this.CHTML.scale);
- },
-
- CHTMLhandleAttributes: function (node) {
- if (this["class"]) {
- if (node.className) node.className += " "+this["class"];
- else node.className = this["class"];
- }
- //
- // Copy RDFa, aria, and other tags from the MathML to the CHTML
- // output nodes. Don't copy those in the MML.nocopyAttributes list,
- // the ignoreMMLattributes configuration list, or anything that
- // already exists as a property of the node (e.g., no "onlick", etc.)
- // If a name in the ignoreMMLattributes object is set to false, then
- // the attribute WILL be copied.
- //
- if (this.attrNames) {
- var copy = this.attrNames, skip = MML.nocopyAttributes, ignore = HUB.config.ignoreMMLattributes;
- var defaults = (this.type === "mstyle" ? MML.math.prototype.defaults : this.defaults);
- for (var i = 0, m = copy.length; i < m; i++) {
- var id = copy[i];
- if (ignore[id] == false || (!skip[id] && !ignore[id] &&
- defaults[id] == null && typeof(node[id]) === "undefined")) {
- node.setAttribute(id,this.attr[id])
- }
- }
- }
- return node;
- },
- CHTMLhandleScale: function (node) {
- var scale = 1, parent = this.parent, pscale = (parent ? parent.CHTML.scale : 1);
- var values = this.getValues("scriptlevel","fontsize");
- values.mathsize = this.Get("mathsize",null,!this.isToken);
- if (values.scriptlevel !== 0) {
- if (values.scriptlevel > 2) values.scriptlevel = 2;
- scale = Math.pow(this.Get("scriptsizemultiplier"),values.scriptlevel);
- values.scriptminsize = CHTML.length2em(this.Get("scriptminsize"),.8,1);
- if (scale < values.scriptminsize) scale = values.scriptminsize;
- }
- if (this.removedStyles && this.removedStyles.fontSize && !values.fontsize)
- values.fontsize = this.removedStyles.fontSize;
- if (values.fontsize && !this.mathsize) values.mathsize = values.fontsize;
- if (values.mathsize !== 1) scale *= CHTML.length2em(values.mathsize,1,1);
- var variant = this.CHTMLvariant;
- if (variant && variant.style && variant.style["font-family"])
- scale *= (CHTML.config.scale/100)/CHTML.scale;
- this.CHTML.scale = scale; pscale = this.CHTML.rscale = scale/pscale;
- if (Math.abs(pscale-1) < .001) pscale = 1;
- if (node && pscale !== 1) node.style.fontSize = CHTML.Percent(pscale);
- return scale;
- },
- CHTMLhandleStyle: function (node) {
- if (!this.style) return;
- var style = node.style;
- style.cssText = this.style; this.removedStyles = {};
- for (var i = 0, m = CHTML.removeStyles.length; i < m; i++) {
- var id = CHTML.removeStyles[i];
- if (style[id]) {
- this.removedStyles[id] = style[id];
- style[id] = "";
- }
- }
- },
- CHTMLhandleBBox: function (node) {
- var BBOX = this.CHTML, style = node.style;
- if (this.data.length === 1 && (this.data[0].CHTML||{}).pwidth) {
- BBOX.pwidth = this.data[0].CHTML.pwidth;
- BBOX.mwidth = this.data[0].CHTML.mwidth;
- style.width = "100%";
- } else if (BBOX.pwidth) {
- BBOX.mwidth = CHTML.Em(BBOX.w);
- style.width = "100%";
- } else if (BBOX.w < 0) {
- style.width = "0px";
- style.marginRight = CHTML.Em(BBOX.w);
- }
- if (!this.style) return;
- // ### FIXME: adjust for width, height, vertical-align?
- for (var i = 0, m = CHTML.BBOX.styleAdjust.length; i < m; i++) {
- var data = CHTML.BBOX.styleAdjust[i];
- if (data && style[data[0]]) BBOX.adjust(style[data[0]],data[1],data[2],data[3]);
- }
- },
- 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 = this.CHTMLlength2em(space);
- node.className += " "+CHTML.SPACECLASS[space];
- }
- }
- },
- CHTMLhandleText: function (node,text,variant) {
- if (node.firstChild && !this.CHTML) this.CHTML = CHTML.BBOX.empty();
- this.CHTML = CHTML.handleText(node,text,variant,this.CHTML);
- },
-
- CHTMLgetVariant: function () {
- var values = this.getValues("mathvariant","fontfamily","fontweight","fontstyle"), style;
- values.hasVariant = this.Get("mathvariant",true); // null if not explicitly specified
- if (this.removedStyles) {
- style = this.removedStyles;
- if (style.fontFamily) values.family = style.fontFamily;
- if (style.fontWeight) values.weight = style.fontWeight;
- if (style.fontStyle) values.style = style.fontStyle;
- }
- if (!values.hasVariant) {
- if (values.fontfamily) values.family = values.fontfamily;
- if (values.fontweight) values.weight = values.fontweight;
- if (values.fontstyle) values.style = values.fontstyle;
- }
- if (values.weight && values.weight.match(/^\d+$/))
- values.weight = (parseInt(values.weight) > 600 ? "bold" : "normal");
- var variant = values.mathvariant; if (this.variantForm) variant = "-TeX-variant";
- if (values.family && !values.hasVariant) {
- if (!values.weight && values.mathvariant.match(/bold/)) values.weight = "bold";
- if (!values.style && values.mathvariant.match(/italic/)) values.style = "italic";
- this.CHTMLvariant = {fonts:[], noRemap:true, cache:{}, style: {
- "font-family":values.family, "font-weight":values.weight||"normal", "font-style":values.style||"normal"
- }};
- return;
- }
- if (values.weight === "bold") {
- variant = {
- normal:MML.VARIANT.BOLD, italic:MML.VARIANT.BOLDITALIC,
- fraktur:MML.VARIANT.BOLDFRAKTUR, script:MML.VARIANT.BOLDSCRIPT,
- "sans-serif":MML.VARIANT.BOLDSANSSERIF,
- "sans-serif-italic":MML.VARIANT.SANSSERIFBOLDITALIC
- }[variant]||variant;
- } else if (values.weight === "normal") {
- variant = {
- bold:MML.VARIANT.normal, "bold-italic":MML.VARIANT.ITALIC,
- "bold-fraktur":MML.VARIANT.FRAKTUR, "bold-script":MML.VARIANT.SCRIPT,
- "bold-sans-serif":MML.VARIANT.SANSSERIF,
- "sans-serif-bold-italic":MML.VARIANT.SANSSERIFITALIC
- }[variant]||variant;
- }
- if (values.style === "italic") {
- variant = {
- normal:MML.VARIANT.ITALIC, bold:MML.VARIANT.BOLDITALIC,
- "sans-serif":MML.VARIANT.SANSSERIFITALIC,
- "bold-sans-serif":MML.VARIANT.SANSSERIFBOLDITALIC
- }[variant]||variant;
- } else if (values.style === "normal") {
- variant = {
- italic:MML.VARIANT.NORMAL, "bold-italic":MML.VARIANT.BOLD,
- "sans-serif-italic":MML.VARIANT.SANSSERIF,
- "sans-serif-bold-italic":MML.VARIANT.BOLDSANSSERIF
- }[variant]||variant;
- }
- this.CHTMLvariant = CHTML.FONTDATA.VARIANT[variant] ||
- CHTML.FONTDATA.VARIANT[MML.VARIANT.NORMAL];
- },
- CHTMLbboxFor: function (n) {
- if (this.data[n] && this.data[n].CHTML) return this.data[n].CHTML;
- return CHTML.BBOX.zero();
- },
- //
- // Debugging function to see if internal BBox matches actual bbox
- //
- CHTMLdrawBBox: function (node,bbox) {
- if (!bbox) bbox = this.CHTML;
- var box = CHTML.Element("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"
- }}]
- ]);
- if (node.nextSibling) {node.parentNode.insertBefore(box,node.nextSibling)}
- else {node.parentNode.appendChild(box)}
- },
- CHTMLnotEmpty: function (mml) {
- while (mml && mml.data.length < 2 && (mml.type === "mrow" || mml.type === "texatom"))
- mml = mml.data[0];
- return !!mml;
- }
- },{
- //
- // Autoload files based on node type or file name
- //
- CHTMLautoload: function () {
- var file = CHTML.autoloadDir+"/"+this.type+".js";
- HUB.RestartAfter(AJAX.Require(file));
- },
- CHTMLautoloadFile: function (name) {
- var file = CHTML.autoloadDir+"/"+name+".js";
- HUB.RestartAfter(AJAX.Require(file));
- },
- //
- // For use with embellished operators
- //
- CHTMLstretchV: function (h,d) {
- this.Core().CHTMLstretchV(h,d);
- this.toCommonHTML(this.CHTMLnodeElement(),{stretch:true});
- return this.CHTML;
- },
- CHTMLstretchH: function (node,w) {
- this.CHTMLupdateFrom(this.CHTMLstretchCoreH(node,w));
- this.toCommonHTML(node,{stretch:true});
- return this.CHTML;
- }
- });
- /********************************************************/
-
- MML.chars.Augment({
- toCommonHTML: function (node,options) {
- if (options == null) options = {};
- var text = this.toString();
- if (options.remap) text = options.remap(text,options.remapchars);
- this.CHTMLhandleText(node,text,options.variant||this.parent.CHTMLvariant);
- }
- });
- MML.entity.Augment({
- toCommonHTML: function (node,options) {
- if (options == null) options = {};
- var text = this.toString();
- if (options.remapchars) text = options.remap(text,options.remapchars);
- this.CHTMLhandleText(node,text,options.variant||this.parent.CHTMLvariant);
- }
- });
- /********************************************************/
-
- MML.math.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLdefaultNode(node);
- if (this.CHTML.w < 0) {
- node.parentNode.style.width = "0px";
- node.parentNode.style.marginRight = CHTML.Em(this.CHTML.w);
- }
- var alttext = this.Get("alttext");
- if (alttext && !node.getAttribute("aria-label")) node.setAttribute("aria-label",alttext);
- if (this.CHTML.pwidth) {
- node.parentNode.style.minWidth = this.CHTML.mwidth||CHTML.Em(this.CHTML.w);
- node.parentNode.className = "mjx-full-width "+node.parentNode.className;
- node.style.width = this.CHTML.pwidth;
- } else if (!this.isMultiline && this.Get("display") === "block") {
- var values = this.getValues("indentalignfirst","indentshiftfirst","indentalign","indentshift");
- if (values.indentalignfirst !== MML.INDENTALIGN.INDENTALIGN) values.indentalign = values.indentalignfirst;
- if (values.indentalign === MML.INDENTALIGN.AUTO) values.indentalign = CONFIG.displayAlign;
- if (values.indentshiftfirst !== MML.INDENTSHIFT.INDENTSHIFT) values.indentshift = values.indentshiftfirst;
- if (values.indentshift === "auto") values.indentshift = "0";
- var shift = this.CHTMLlength2em(values.indentshift,CHTML.cwidth);
- if (CONFIG.displayIndent !== "0") {
- var indent = this.CHTMLlength2em(CONFIG.displayIndent,CHTML.cwidth);
- shift += (values.indentalign === MML.INDENTALIGN.RIGHT ? -indent : indent);
- }
- var styles = node.parentNode.parentNode.style;
- node.parentNode.style.textAlign = styles.textAlign = values.indentalign;
- // ### FIXME: make percentage widths respond to changes in container
- if (shift) {
- shift *= CHTML.em/CHTML.outerEm;
- HUB.Insert(styles,({
- left: {marginLeft: CHTML.Em(shift)},
- right: {marginRight: CHTML.Em(-shift)},
- center: {marginLeft: CHTML.Em(shift), marginRight: CHTML.Em(-shift)}
- })[values.indentalign]);
- }
- }
- 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 && !this.CHTMLvariant.noIC) {
- bbox.ic = bbox.r - bbox.w; bbox.w = bbox.r;
- node.lastChild.style.paddingRight = CHTML.Em(bbox.ic);
- }
- return node;
- }
- });
- /********************************************************/
-
- MML.mn.Augment({
- CHTMLremapMinus: function (text) {return text.replace(/^-/,"\u2212")},
- toCommonHTML: function (node) {
- node = this.CHTMLdefaultNode(node,{childOptions:{remap:this.CHTMLremapMinus}});
- 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 && !this.CHTMLvariant.noIC) {
- bbox.ic = bbox.r - bbox.w; bbox.w = bbox.r;
- node.lastChild.style.paddingRight = CHTML.Em(bbox.ic);
- }
- return node;
- }
- });
- /********************************************************/
-
- MML.mo.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLcreateNode(node);
- this.CHTMLhandleStyle(node);
- this.CHTMLgetVariant();
- this.CHTMLhandleScale(node);
- CHTML.BBOX.empty(this.CHTML);
-
- var values = this.getValues("displaystyle","largeop");
- values.variant = this.CHTMLvariant;
- 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.remapchars
- }});
- }
- if (values.text.length !== 1) delete this.CHTML.skew;
- else if (this.CHTML.w === 0 && this.CHTML.l < 0) this.CHTMLfixCombiningChar(node);
- if (values.largeop) this.CHTMLcenterOp(node);
- }
- this.CHTML.clean();
- this.CHTMLhandleBBox(node);
- this.CHTMLhandleSpace(node);
- this.CHTMLhandleColor(node);
- return node;
- },
- CHTMLhandleSpace: function (node) {
- if (this.useMMLspacing) {
- var values = this.getValues("scriptlevel","lspace","rspace");
- values.lspace = Math.max(0,this.CHTMLlength2em(values.lspace));
- values.rspace = Math.max(0,this.CHTMLlength2em(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);
- this.CHTML.L = values.lspace; this.CHTML.R = 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)) {
- var over = parent.data[parent.over], under = parent.data[parent.under];
- if (over && this === over.CoreMO() && parent.Get("accent")) {
- data.remapchars = CHTML.FONTDATA.REMAPACCENT;
- } else if (under && this === under.CoreMO() && parent.Get("accentunder")) {
- data.remapchars = 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.remapchars = this.remapChars;
- if (data.text.match(/['`"\u00B4\u2032-\u2037\u2057]/))
- data.mathvariant = "-TeX-variant"; // ### FIXME: handle other fonts
- }
- },
- CHTMLfixCombiningChar: function (node) {
- //
- // IE doesn't display combining chararacters unless they combine with
- // something, so put them over a space and remove the space's width
- //
- node = node.firstChild;
- var space = CHTML.Element("mjx-box",{style:{width:".25em","margin-left":"-.25em"}});
- node.insertBefore(space,node.firstChild);
- },
- 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 = this.CHTMLlength2em(values.maxsize,bbox.h+bbox.d);
- values.minsize = this.CHTMLlength2em(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,bbox);
- 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;
- }
- }
- return this.CHTML;
- },
- CHTMLstretchH: function (node,W) {
- var bbox = this.CHTML;
- var values = this.getValues("maxsize","minsize","mathvariant","fontweight");
- if ((values.fontweight === "bold" || (this.removedStyles||{}).fontWeight === "bold" ||
- parseInt(values.fontweight) >= 600) && !this.Get("mathvariant",true))
- values.mathvariant = MML.VARIANT.BOLD;
- values.maxsize = this.CHTMLlength2em(values.maxsize,bbox.w);
- values.minsize = this.CHTMLlength2em(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,bbox,values.mathvariant);
- bbox.sW = W;
- }
- return this.CHTML;
- }
- });
- /********************************************************/
- MML.mtext.Augment({
- CHTMLgetVariant: function () {
- if (CHTML.config.mtextFontInherit || this.Parent().type === "merror") {
- var scale = (CHTML.config.scale/100)/CHTML.scale;
- var variant = {cache:{}, fonts:[], className:"MJXc-font-inherit", rscale:scale,
- style:{"font-size":CHTML.Percent(scale)}};
- var name = this.Get("mathvariant");
- if (name.match(/bold/)) variant.style["font-weight"] = "bold";
- if (name.match(/italic|-tex-mathit/)) variant.style["font-style"] = "italic";
- if (name === "monospace") variant.className += " MJXc-monospace-font";
- if (name === "double-struck") variant.className += " MJXc-double-struck-font";
- if (name.match(/fraktur/)) variant.className += " MJXc-fraktur-font";
- if (name.match(/sans-serif/)) variant.className += " MJXc-sans-serif-font";
- if (name.match(/script/)) variant.className += " MJXc-script-font";
- this.CHTMLvariant = variant;
- } else {
- this.SUPER(arguments).CHTMLgetVariant.call(this);
- }
- }
- });
- /********************************************************/
-
- MML.merror.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLdefaultNode(node);
- var bbox = this.CHTML;
- //
- // Adjust for font-size: 90%
- //
- bbox.rescale(.9);
- //
- // Adjust for padding and border
- //
- bbox.h += 3/CHTML.em; if (bbox.h > bbox.t) bbox.t = bbox.h;
- bbox.d += 3/CHTML.em; if (bbox.d > bbox.b) bbox.b = bbox.d;
- bbox.w += 8/CHTML.em; bbox.r = bbox.w; bbox.l = 0;
- return node;
- }
- });
-
- /********************************************************/
-
- MML.mspace.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLcreateNode(node);
- this.CHTMLhandleStyle(node);
- this.CHTMLhandleScale(node);
- var values = this.getValues("height","depth","width");
- var w = this.CHTMLlength2em(values.width),
- h = this.CHTMLlength2em(values.height),
- d = this.CHTMLlength2em(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(Math.max(0,h+d));
- if (d) node.style.verticalAlign = CHTML.Em(-d);
- this.CHTMLhandleBBox(node);
- this.CHTMLhandleColor(node);
- return node;
- }
- });
- /********************************************************/
-
- MML.mpadded.Augment({
- toCommonHTML: function (node,options) {
- var child;
- if (options && options.stretch) {
- node = node.firstChild; child = node.firstChild;
- } else {
- node = this.CHTMLdefaultNode(node,{childNodes:"mjx-box", forceChild:true});
- child = node.firstChild; node = CHTML.addElement(node,"mjx-block");
- node.appendChild(child); CHTML.addElement(node,"mjx-strut"); // force proper alignment of short heights
- }
- var cbox = this.CHTMLbboxFor(0);
- var values = this.getValues("width","height","depth","lspace","voffset");
- var x = 0, y = 0, w = cbox.w, h = cbox.h, d = cbox.d;
- child.style.width = 0; child.style.margin = CHTML.Em(-h)+" 0 "+CHTML.Em(-d);
- if (values.width !== "") w = this.CHTMLdimen(values.width,"w",w,0);
- if (values.height !== "") h = this.CHTMLdimen(values.height,"h",h,0);
- if (values.depth !== "") d = this.CHTMLdimen(values.depth,"d",d,0);
- if (values.voffset !== "") {
- y = this.CHTMLdimen(values.voffset);
- if (y) {
- child.style.position = "relative";
- child.style.top = CHTML.Em(-y);
- }
- }
- if (values.lspace !== "") {
- x = this.CHTMLdimen(values.lspace);
- if (x) {
- child.style.position = "relative";
- child.style.left = CHTML.Em(x);
- }
- }
- node.style.width = 0;
- node.style.marginTop = CHTML.Em(h-STRUTHEIGHT);
- node.style.padding = "0 "+CHTML.Em(w)+" "+CHTML.Em(d)+" 0";
- var bbox = CHTML.BBOX({w:w, h:h, d:d, l:0, r:w, t:h, b:d,
- scale:this.CHTML.scale, rscale:this.CHTML.rscale});
- bbox.combine(cbox,x,y);
- bbox.w = w; bbox.h = h; bbox.d = d;
- this.CHTML = bbox;
- return node.parentNode;
- },
- CHTMLstretchV: MML.mbase.CHTMLstretchV,
- CHTMLstretchH: MML.mbase.CHTMLstretchH,
- CHTMLdimen: function (length,d,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));
- var dimen = (this.CHTMLlength2em(length,size)||0);
- if (length.match(/^[-+]/) && D != null) dimen += D;
- if (m != null) dimen = Math.max(m,dimen);
- return dimen;
- }
- });
- /********************************************************/
-
- MML.munderover.Augment({
- toCommonHTML: function (node,options) {
- var values = this.getValues("displaystyle","accent","accentunder","align");
- var base = this.data[this.base];
- if (!values.displaystyle && base != null &&
- (base.movablelimits || base.CoreMO().Get("movablelimits")))
- return MML.msubsup.prototype.toCommonHTML.call(this,node,stretch);
- //
- // Get the nodes for base and limits
- //
- var under, over, nodes = [], stretch = false;
- if (options && options.stretch) {
- if (this.data[this.base]) base = CHTML.getNode(node,"mjx-op");
- if (this.data[this.under]) under = CHTML.getNode(node,"mjx-under");
- if (this.data[this.over]) over = CHTML.getNode(node,"mjx-over");
- nodes[0] = base; nodes[1] = under||over; nodes[2] = over;
- stretch = true;
- } else {
- 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
- });
- 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 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
- //
- // Adjust for bases shorter than the center line (#1657)
- // (the center line really depends on the surrounding font, so
- // it should be measured along with ems and exs, but currently isn't.
- // so this value is an approximation that is reasonable for most fonts.)
- //
- if (bbox.h < .35) base.style.marginTop = CHTML.Em(bbox.h - .35);
- //
- // Use a minimum height for accents (#1706)
- // (same issues with the center line as above)
- //
- if (values.accent && bbox.h < CHTML.TEX.x_height) {
- BBOX.h += CHTML.TEX.x_height - bbox.h;
- base.style.marginTop = CHTML.Em(CHTML.TEX.x_height - Math.max(bbox.h,.35));
- bbox.h = CHTML.TEX.x_height;
- }
- //
- // 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,stretch);
- if (this.data[this.under]) this.CHTMLaddUnderscript(under,boxes,values,delta,node,stack,stretch);
- else if (!stretch) node.appendChild(stack);
- //
- // Handle horizontal positions
- //
- this.CHTMLplaceBoxes(base,under,over,values,boxes);
- return node;
- },
- //
- // 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 : bbox[i].rscale);
- if (i !== this.base) {delete bbox[i].L; delete bbox[i].R} // these are overriden by CSS
- 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 : bbox[i].rscale);
- bbox[i] = this.data[i].CHTMLstretchH(nodes[i].firstChild,w/scale);
- bbox[i].x = bbox[i].y = 0;
- W = Math.max(W,scale*(bbox[i].w + (bbox[i].L||0) + (bbox[i].R||0)));
- }
- }
- if (!bbox[this.base]) bbox[this.base] = CHTML.BBOX.empty();
- return W;
- },
- //
- // Add an overscript
- //
- CHTMLaddOverscript: function (over,boxes,values,delta,base,stretch) {
- var BBOX = this.CHTML;
- var z1, z2, z3 = CHTML.TEX.big_op_spacing5, k;
- var obox = boxes[this.over], bbox = boxes[this.base], scale = obox.rscale;
- //
- // Put the base and script into a stack
- //
- if (!stretch) {
- var stack = CHTML.Element("mjx-stack");
- stack.appendChild(over); stack.appendChild(base);
- }
- if (obox.D) obox.d = obox.D;
- if (obox.d < 0) {
- //
- // 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,stretch) {
- var BBOX = this.CHTML;
- var z1, z2, z3 = CHTML.TEX.big_op_spacing5, k;
- var ubox = boxes[this.under], scale = ubox.rscale;
- //
- // Create a table for the underscript
- //
- if (!stretch) {
- CHTML.addElement(node,"mjx-itable",{},[
- ["mjx-row",{},[["mjx-cell"]]],
- ["mjx-row"]
- ]);
- node.firstChild.firstChild.firstChild.appendChild(stack);
- node.firstChild.lastChild.appendChild(under);
- }
- if (ubox.D) ubox.d = ubox.D;
- if (ubox.d < 0) {
- //
- // For negative depths, set the height and align to top
- // in order to avoid extra baseline space
- //
- under.firstChild.style.verticalAlign = "top";
- node.firstChild.style.marginBottom = CHTML.Em(ubox.d);
- }
- //
- // determine the spacing
- //
- if (values.accentunder) {
- k = 2*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 underscript
- //
- 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
- //
- CHTMLplaceBoxes: function (base,under,over,values,boxes) {
- var W = this.CHTML.w, i, m = boxes.length, scale;
- var BBOX = CHTML.BBOX.zero();
- BBOX.scale = this.CHTML.scale; BBOX.rscale = this.CHTML.rscale;
- boxes[this.base].x = boxes[this.base].y = 0; var dx = BIGDIMEN;
- for (i = 0; i < m; i++) {
- scale = (i === this.base ? 1 : boxes[i].rscale);
- var w = scale*(boxes[i].w + (boxes[i].L||0) + (boxes[i].R||0));
- boxes[i].x += {left:0, center:(W-w)/2, right:W-w}[values.align];
- if (boxes[i].x < dx) dx = boxes[i].x;
- }
- for (i = 0; i < m; i++) {
- if (this.data[i]) {
- scale = (i === this.base ? 1 : boxes[i].rscale);
- 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);
- }
- BBOX.combine(boxes[i],boxes[i].x-dx,boxes[i].y);
- }
- }
- this.CHTML = BBOX;
- },
- CHTMLstretchV: MML.mbase.CHTMLstretchV,
- CHTMLstretchH: MML.mbase.CHTMLstretchH,
- CHTMLchildNode: function (node,i) {
- var types = ["mjx-op","mjx-under","mjx-over"];
- if (this.over === 1) types[1] = types[2];
- return CHTML.getNode(node,types[i]);
- }
- });
- /********************************************************/
-
- MML.msubsup.Augment({
- toCommonHTML: function (node,options) {
- var values = this.getValues(
- "displaystyle","subscriptshift","superscriptshift","texprimestyle"
- );
- //
- // Get the nodes for base and limits
- //
- var base, sub, sup;
- if (options && options.stretch) {
- if (this.data[this.base]) base = CHTML.getNode(node,"mjx-base");
- if (this.data[this.sub]) sub = CHTML.getNode(node,"mjx-sub");
- if (this.data[this.sup]) sup = CHTML.getNode(node,"mjx-sup");
- stack = CHTML.getNode(node,"mjx-stack");
- } else {
- 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: 3
- });
- base = node.childNodes[this.base];
- sub = node.childNodes[this.sub]; sup = node.childNodes[this.sup];
- 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 = CHTML.addElement(node,"mjx-stack");
- stack.appendChild(sup); stack.appendChild(sub);
- }
- }
- //
- // Get the bounding boxes and maximum width of scripts
- //
- var boxes = [], BBOX = CHTML.BBOX.empty(this.CHTML);
- for (var i = 0, m = this.data.length; i < m; i++) boxes[i] = this.CHTMLbboxFor(i);
- var bbox = boxes[this.base] || CHTML.BBOX.empty(),
- sbox = boxes[this.sub], Sbox = boxes[this.sup];
- var sscale = (sub ? sbox.rscale : 1), Sscale = (sup ? Sbox.rscale : 1);
- BBOX.combine(bbox,0,0);
- //
- // 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) {
- if ((bmml.type === "mrow" || bmml.type === "mstyle") && bmml.data.length === 1) bmml = bmml.data[0];
- if (bmml.type === "mi" || bmml.type === "mo") {
- if (bmml.data.join("").length === 1 && bbox.rscale === 1 && !bbox.sH &&
- !bmml.Get("largeop")) {u = v = 0}
- }
- }
- values.subscriptshift = (values.subscriptshift === "" ? 0 : this.CHTMLlength2em(values.subscriptshift));
- values.superscriptshift = (values.superscriptshift === "" ? 0 : this.CHTMLlength2em(values.superscriptshift));
- //
- // Add the super- and subscripts
- //
- var x = BBOX.w; if (sub) sbox.w += s; if (sup) Sbox.w += s;
- if (!sup) {
- if (sub) {
- v = Math.max(v,CHTML.TEX.sub1,sscale*sbox.h-(4/5)*ex,values.subscriptshift);
- sub.style.verticalAlign = CHTML.Em(-v/sscale);
- sub.style.paddingRight = CHTML.Em(s/sscale);
- BBOX.combine(sbox,x,-v);
- }
- } else {
- if (!sub) {
- p = CHTML.TEX[(values.displaystyle ? "sup1" : (values.texprimestyle ? "sup3" : "sup2"))];
- u = Math.max(u,p,Sscale*Sbox.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);
- BBOX.combine(Sbox,x+delta,u);
- } else {
- v = Math.max(v,CHTML.TEX.sub2);
- var t = CHTML.TEX.rule_thickness;
- if ((u - Sscale*Sbox.d) - (sscale*sbox.h - v) < 3*t) {
- v = 3*t - u + Sscale*Sbox.d + sscale*sbox.h;
- q = (4/5)*ex - (u - Sscale*Sbox.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/Sscale+v/sscale-Sbox.d-sbox.h/sscale*Sscale);
- sup.style.paddingLeft = CHTML.Em(delta/Sscale);
- sup.style.paddingRight = CHTML.Em(s/Sscale);
- stack.style.verticalAlign = CHTML.Em(-v);
- BBOX.combine(Sbox,x+delta,u);
- BBOX.combine(sbox,x,-v);
- }
- }
- BBOX.clean();
- return node;
- },
- CHTMLstretchV: MML.mbase.CHTMLstretchV,
- CHTMLstretchH: MML.mbase.CHTMLstretchH,
- CHTMLchildNode: function (node,i) {
- var types = ["mjx-base","mjx-sub","mjx-sup"];
- if (this.over === 1) types[1] = types[2];
- return CHTML.getNode(node,types[i]);
- }
- });
- /********************************************************/
-
- MML.mfrac.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLdefaultNode(node,{
- childNodes:["mjx-numerator","mjx-denominator"],
- childOptions: {autowidth: true},
- forceChild:true, noBBox:true, minChildren:2
- });
- var values = this.getValues("linethickness","displaystyle",
- "numalign","denomalign","bevelled");
- var isDisplay = values.displaystyle;
- //
- // Create the table for the fraction and set the alignment
- //
- var num = node.firstChild, denom = node.lastChild;
- var frac = CHTML.addElement(node,"mjx-box");
- frac.appendChild(num); frac.appendChild(denom); node.appendChild(frac);
- if (values.numalign !== "center") num.style.textAlign = values.numalign;
- if (values.denomalign !== "center") denom.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),
- BBOX = CHTML.BBOX.empty(this.CHTML), nscale = nbox.rscale, dscale = dbox.rscale;
- values.linethickness = Math.max(0,CHTML.thickness2em(values.linethickness||"0",BBOX.scale));
- var mt = CHTML.TEX.min_rule_thickness/CHTML.em, a = CHTML.TEX.axis_height;
- var t = values.linethickness, p,q, u,v;
- if (values.bevelled) {
- frac.className += " MJXc-bevelled";
- var delta = (isDisplay ? .4 : .15);
- var H = Math.max(nscale*(nbox.h+nbox.d),dscale*(dbox.h+dbox.d)) + 2*delta;
- var bevel = CHTML.Element("mjx-bevel"); frac.insertBefore(bevel,denom);
- var bbox = CHTML.createDelimiter(bevel,0x2F,H);
- u = nscale*(nbox.d-nbox.h)/2+a+delta;
- v = dscale*(dbox.d-dbox.h)/2+a-delta;
- if (u) num.style.verticalAlign = CHTML.Em(u/nscale);
- if (v) denom.style.verticalAlign = CHTML.Em(v/dscale);
- bevel.style.marginLeft = bevel.style.marginRight = CHTML.Em(-delta/2);
- BBOX.combine(nbox,0,u);
- BBOX.combine(bbox,nscale*nbox.w-delta/2,0);
- BBOX.combine(dbox,nscale*nbox.w+bbox.w-delta,v);
- BBOX.clean();
- } else {
- frac.className += " MJXc-stacked";
- 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*nscale) - (dbox.h*dscale - v);
- if (q < p) {u += (p - q)/2; v += (p - q)/2}
- } else { // \over
- p = Math.max((isDisplay ? 2 : 0) * mt + t, t/2 + 1.5*mt);
- t = Math.max(t,mt);
- q = (u - nbox.d*nscale) - (a + t/2); if (q < p) u += (p - q);
- q = (a - t/2) - (dbox.h*dscale - v); if (q < p) v += (p - q);
- nbox.L = nbox.R = dbox.L = dbox.R = .1; // account for padding in BBOX width
- var rule = CHTML.addElement(frac,"mjx-line",{style: {
- "border-bottom":CHTML.Px(t*BBOX.scale,1)+" solid", top: CHTML.Em(-t/2-a)
- }});
- }
- //
- // Determine the new bounding box and place the parts
- //
- BBOX.combine(nbox,0,u);
- BBOX.combine(dbox,0,-v);
- BBOX.clean();
- //
- // Force elements to the correct width
- //
- frac.style.width = CHTML.Em(BBOX.w);
- num.style.width = CHTML.Em(BBOX.w/nscale);
- denom.style.width = CHTML.Em(BBOX.w/dscale);
- if (rule) rule.style.width = frac.style.width;
- //
- // Place the numerator and denominator in relation to the baseline
- //
- num.style.top = CHTML.Em(-BBOX.h/nscale);
- denom.style.bottom = CHTML.Em(-BBOX.d/dscale);
- //
- // Force the size of the surrounding box, since everything is absolutely positioned
- //
- CHTML.addElement(node,"mjx-vsize",{style: {
- height: CHTML.Em(BBOX.h+BBOX.d), verticalAlign: CHTML.Em(-BBOX.d)
- }});
- }
- //
- // Add nulldelimiterspace around the fraction
- // (TeXBook pg 150 and Appendix G rule 15e)
- //
- if (!this.texWithDelims) {
- var space = CHTML.TEX.nulldelimiterspace;
- frac.style.padding = "0 "+CHTML.Em(space);
- BBOX.l += space; BBOX.r += space; BBOX.w += 2*space;
- }
- //
- // Return the completed fraction
- //
- return node;
- },
- CHTMLcanStretch: function (direction) {return false}
- });
- /********************************************************/
-
- MML.msqrt.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLdefaultNode(node,{
- childNodes:["mjx-box","mjx-root"], forceChild:true, noBBox:true
- });
- var base = node.firstChild || CHTML.Element("mjx-box");
- var sqrt = CHTML.addElement(node,"mjx-box"); sqrt.appendChild(base);
- var bbox = this.CHTMLbboxFor(0), BBOX = CHTML.BBOX.empty(this.CHTML);
- var t = CHTML.TEX.rule_thickness, 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 = CHTML.Element("mjx-surd"); sqrt.insertBefore(surd,base);
- var sbox = CHTML.createDelimiter(surd,0x221A,[H-.04,H]);
- 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);
- base.style.paddingTop = CHTML.Em(q);
- base.style.borderTop = CHTML.Px(T*bbox.scale,1)+" solid";
- sqrt.style.paddingTop = CHTML.Em(2*t-T); // use wider line, but don't affect height
- bbox.h += q + 2*t;
- BBOX.combine(sbox,x,H-sbox.h);
- BBOX.combine(bbox,x+sbox.w,0);
- BBOX.clean();
- 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 scale = bbox.rscale;
- 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);
- BBOX.combine(bbox,0,h);
- 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.CHTMLhandleStyle(node);
- this.CHTMLhandleScale(node);
- //
- // Make row of open, data, sep, ... data, close
- //
- 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);
- this.CHTMLhandleSpace(node);
- this.CHTMLhandleBBox(node);
- this.CHTMLhandleColor(node);
- return node;
- }
- });
- /********************************************************/
-
- MML.mrow.Augment({
- toCommonHTML: function (node,options) {
- options = options || {};
- node = this.CHTMLdefaultNode(node);
- var bbox = this.CHTML, H = bbox.h, D = bbox.d, hasNegative;
- for (var i = 0, m = this.data.length; i < m; i++) {
- this.CHTMLstretchChildV(i,H,D);
- if (this.data[i] && this.data[i].CHTML && this.data[i].CHTML.w < 0) hasNegative = true;
- }
- if (this.CHTMLlineBreaks()) {
- this.CHTMLmultiline(node);
- if (options.autowidth) node.style.width = "";
- } else {
- if (hasNegative && bbox.w) node.style.width = CHTML.Em(Math.max(0,bbox.w));
- if (bbox.w < 0) node.style.marginRight = CHTML.Em(bbox.w);
- }
- return node;
- },
- CHTMLlineBreaks: function () {
- if (!this.parent.linebreakContainer) return false;
- return (LINEBREAKS.automatic && this.CHTML.w > CHTML.linebreakWidth) || this.hasNewline();
- },
- CHTMLstretchV: function (h,d) {
- this.CHTMLstretchChildV(this.CoreIndex(),h,d);
- return this.CHTML;
- },
- CHTMLstretchH: function (node,w) {
- this.CHTMLstretchChildH(this.CoreIndex(),w,node);
- return this.CHTML;
- }
- });
- /********************************************************/
-
- MML.mstyle.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLdefaultNode(node);
- if (this.scriptlevel && this.data[0]) this.CHTML.rescale(this.data[0].CHTML.rscale);
- return node;
- }
- });
- /********************************************************/
-
- MML.TeXAtom.Augment({
- toCommonHTML: function (node,options) {
- if (!options || !options.stretch) node = this.CHTMLdefaultNode(node);
- if (this.texClass === MML.TEXCLASS.VCENTER) {
- var a = CHTML.TEX.axis_height, BBOX = this.CHTML;
- var v = a-(BBOX.h+BBOX.d)/2+BBOX.d;
- if (Math.abs(v) > .001) {
- node.style.verticalAlign = CHTML.Em(v);
- BBOX.h += v; BBOX.t += v; BBOX.d -= v; BBOX.b -= v;
- }
- }
- return node;
- },
- CHTMLstretchV: function (h,d) {
- this.CHTMLupdateFrom(this.Core().CHTMLstretchV(h,d));
- this.toCommonHTML(this.CHTMLnodeElement(),{stretch:true});
- return this.CHTML;
- },
- CHTMLstretchH: function (node,w) {
- this.CHTMLupdateFrom(this.CHTMLstretchCoreH(node,w));
- this.toCommonHTML(node,{stretch:true});
- return this.CHTML;
- }
- });
- /********************************************************/
-
- MML.semantics.Augment({
- toCommonHTML: function (node) {
- node = this.CHTMLcreateNode(node);
- if (this.data[0]) {
- this.data[0].toCommonHTML(node);
- this.CHTMLupdateFrom(this.data[0].CHTML);
- this.CHTMLhandleBBox(node);
- }
- return node;
- }
- });
- MML.annotation.Augment({toCommonHTML: function(node) {return this.CHTMLcreateNode(node)}});
- MML["annotation-xml"].Augment({toCommonHTML: MML.mbase.CHTMLautoload});
- /********************************************************/
- MML.ms.Augment({toCommonHTML: MML.mbase.CHTMLautoload});
- MML.mglyph.Augment({toCommonHTML: MML.mbase.CHTMLautoload});
- MML.menclose.Augment({toCommonHTML: MML.mbase.CHTMLautoload});
- MML.maction.Augment({toCommonHTML: MML.mbase.CHTMLautoload});
- MML.mmultiscripts.Augment({toCommonHTML: MML.mbase.CHTMLautoload});
- MML.mtable.Augment({toCommonHTML: MML.mbase.CHTMLautoload});
-
- /********************************************************/
-
- //
- // 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);
|