1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272 |
- /* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */
- /* vim: set ts=2 et sw=2 tw=80: */
- /*************************************************************
- *
- * MathJax/jax/output/SVG/jax.js
- *
- * Implements the SVG OutputJax that displays mathematics using
- * SVG (or VML in IE) to position the characters from math fonts
- * in their proper locations.
- *
- * ---------------------------------------------------------------------
- *
- * Copyright (c) 2011-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,SVG) {
- var MML;
- var isArray = MathJax.Object.isArray;
- var SVGNS = "http://www.w3.org/2000/svg";
- var XLINKNS = "http://www.w3.org/1999/xlink";
- var EVENT, TOUCH, HOVER; // filled in later
- //
- // Get the URL of the page (for use with xlink:href) when there
- // is a <base> element on the page.
- //
- var SVGURL = (document.getElementsByTagName("base").length === 0) ? "" :
- String(document.location).replace(/#.*$/,"");
- SVG.Augment({
- HFUZZ: 2, // adjustments for height and depth of final svg element
- DFUZZ: 2, // to get baselines right (fragile).
-
- config: {
- styles: {
- ".MathJax_SVG": {
- "display": "inline",
- "font-style": "normal",
- "font-weight": "normal",
- "line-height": "normal",
- "font-size": "100%",
- "font-size-adjust":"none",
- "text-indent": 0,
- "text-align": "left",
- "text-transform": "none",
- "letter-spacing": "normal",
- "word-spacing": "normal",
- "word-wrap": "normal",
- "white-space": "nowrap",
- "float": "none",
- "direction": "ltr",
- "max-width": "none", "max-height": "none",
- "min-width": 0, "min-height": 0,
- border: 0, padding: 0, margin: 0
- },
- ".MathJax_SVG_Display": {
- position: "relative",
- display: "block!important",
- "text-indent": 0,
- "max-width": "none", "max-height": "none",
- "min-width": 0, "min-height": 0,
- width: "100%"
- },
-
- ".MathJax_SVG *": {
- transition: "none",
- "-webkit-transition": "none",
- "-moz-transition": "none",
- "-ms-transition": "none",
- "-o-transition": "none"
- },
-
- ".mjx-svg-href": {
- fill: "blue", stroke: "blue"
- },
- ".MathJax_SVG_Processing": {
- visibility: "hidden", position:"absolute", top:0, left:0,
- width:0, height: 0, overflow:"hidden", display:"block!important"
- },
- ".MathJax_SVG_Processed": {display:"none!important"},
-
- ".MathJax_SVG_ExBox": {
- display:"block!important", overflow:"hidden",
- width:"1px", height:"60ex",
- "min-height": 0, "max-height":"none",
- padding:0, border: 0, margin: 0
- },
- ".MathJax_SVG_LineBox": {display: "table!important"},
- ".MathJax_SVG_LineBox span": {
- display: "table-cell!important",
- width: "10000em!important",
- "min-width":0, "max-width":"none",
- padding:0, border:0, margin:0
- },
-
- "#MathJax_SVG_Tooltip": {
- position: "absolute", left: 0, top: 0,
- width: "auto", height: "auto",
- display: "none"
- }
- }
- },
- hideProcessedMath: true, // use display:none until all math is processed
- fontNames: ["TeX","STIX","STIX-Web","Asana-Math",
- "Gyre-Termes","Gyre-Pagella","Latin-Modern","Neo-Euler"],
- Config: function () {
- this.SUPER(arguments).Config.apply(this,arguments);
- var settings = HUB.config.menuSettings, config = this.config, font = settings.font;
- if (settings.scale) {config.scale = settings.scale}
- if (font && font !== "Auto") {
- font = font.replace(/(Local|Web|Image)$/i,"");
- font = font.replace(/([a-z])([A-Z])/,"$1-$2");
- this.fontInUse = font;
- } else {
- this.fontInUse = config.font || "TeX";
- }
- if (this.fontNames.indexOf(this.fontInUse) < 0) {this.fontInUse = "TeX"}
- this.fontDir += "/" + this.fontInUse;
- if (!this.require) {this.require = []}
- this.require.push(this.fontDir+"/fontdata.js");
- this.require.push(MathJax.OutputJax.extensionDir+"/MathEvents.js");
- },
- Startup: function () {
- // Set up event handling
- EVENT = MathJax.Extension.MathEvents.Event;
- TOUCH = MathJax.Extension.MathEvents.Touch;
- HOVER = MathJax.Extension.MathEvents.Hover;
- this.ContextMenu = EVENT.ContextMenu;
- this.Mousedown = EVENT.AltContextMenu;
- this.Mouseover = HOVER.Mouseover;
- this.Mouseout = HOVER.Mouseout;
- this.Mousemove = HOVER.Mousemove;
- // Make hidden div for doing tests and storing global SVG <defs>
- this.hiddenDiv = HTML.Element("div",{
- style:{visibility:"hidden", overflow:"hidden", position:"absolute", top:0,
- height:"1px", width: "auto", padding:0, border:0, margin:0,
- textAlign:"left", textIndent:0, textTransform:"none",
- lineHeight:"normal", letterSpacing:"normal", wordSpacing:"normal"}
- });
- if (!document.body.firstChild) {document.body.appendChild(this.hiddenDiv)}
- else {document.body.insertBefore(this.hiddenDiv,document.body.firstChild)}
- this.hiddenDiv = HTML.addElement(this.hiddenDiv,"div",{id:"MathJax_SVG_Hidden"});
- // Determine pixels-per-inch and em-size
- var div = HTML.addElement(this.hiddenDiv,"div",{style:{width:"5in"}});
- this.pxPerInch = div.offsetWidth/5; this.hiddenDiv.removeChild(div);
-
- // Used for measuring text sizes
- this.textSVG = this.Element("svg");
-
- // Global defs for font glyphs
- BBOX.GLYPH.defs = this.addElement(this.addElement(this.hiddenDiv.parentNode,"svg"),
- "defs",{id:"MathJax_SVG_glyphs"});
- // Used in preTranslate to get scaling factors
- this.ExSpan = HTML.Element("span",
- {style:{position:"absolute","font-size-adjust":"none"}},
- [["span",{className:"MathJax_SVG_ExBox"}]]
- );
- // Used in preTranslate to get linebreak width
- this.linebreakSpan = HTML.Element("span",{className:"MathJax_SVG_LineBox"},[["span"]]);
- // Set up styles
- return AJAX.Styles(this.config.styles,["InitializeSVG",this]);
- },
-
- //
- // Handle initialization that requires styles to be set up
- //
- InitializeSVG: function () {
- //
- // Get the default sizes (need styles in place to do this)
- //
- document.body.appendChild(this.ExSpan);
- document.body.appendChild(this.linebreakSpan);
- this.defaultEx = this.ExSpan.firstChild.offsetHeight/60;
- this.defaultWidth = this.linebreakSpan.firstChild.offsetWidth;
- document.body.removeChild(this.linebreakSpan);
- document.body.removeChild(this.ExSpan);
- },
- preTranslate: function (state) {
- var scripts = state.jax[this.id], i, m = scripts.length, n,
- script, prev, span, div, test, jax, ex, em, maxwidth, relwidth = false, cwidth,
- linebreak = this.config.linebreaks.automatic, width = this.config.linebreaks.width;
- if (linebreak) {
- relwidth = (width.match(/^\s*(\d+(\.\d*)?%\s*)?container\s*$/) != null);
- if (relwidth) {width = width.replace(/\s*container\s*/,"")}
- else {maxwidth = this.defaultWidth}
- if (width === "") {width = "100%"}
- } else {maxwidth = 100000} // a big width, so no implicit line breaks
- //
- // Loop through the scripts
- //
- for (i = 0; i < m; i++) {
- script = scripts[i]; if (!script.parentNode) continue;
- //
- // Remove any existing output
- //
- prev = script.previousSibling;
- if (prev && String(prev.className).match(/^MathJax(_SVG)?(_Display)?( MathJax(_SVG)?_Process(ing|ed))?$/))
- {prev.parentNode.removeChild(prev)}
- if (script.MathJax.preview) script.MathJax.preview.style.display = "none";
- //
- // Add the span, and a div if in display mode,
- // then set the role and mark it as being processed
- //
- jax = script.MathJax.elementJax; if (!jax) continue;
- jax.SVG = {
- display: (jax.root.Get("display") === "block"),
- preview: (jax.SVG||{}).preview // in case typeset calls are interleaved
- };
- span = div = HTML.Element("span",{
- style: {"font-size": this.config.scale+"%", display:"inline-block"},
- className:"MathJax_SVG", id:jax.inputID+"-Frame", isMathJax:true, jaxID:this.id,
- oncontextmenu:EVENT.Menu, onmousedown: EVENT.Mousedown,
- onmouseover:EVENT.Mouseover, onmouseout:EVENT.Mouseout, onmousemove:EVENT.Mousemove,
- onclick:EVENT.Click, ondblclick:EVENT.DblClick,
- // Added for keyboard accessible menu.
- onkeydown: EVENT.Keydown, tabIndex: HUB.getTabOrder(jax)
- });
- if (HUB.Browser.noContextMenu) {
- span.ontouchstart = TOUCH.start;
- span.ontouchend = TOUCH.end;
- }
- if (jax.SVG.display) {
- div = HTML.Element("div",{className:"MathJax_SVG_Display"});
- div.appendChild(span);
- }
- div.className += " MathJax_SVG_Processing";
- script.parentNode.insertBefore(div,script);
- //
- // Add the test span for determining scales and linebreak widths
- //
- script.parentNode.insertBefore(this.ExSpan.cloneNode(true),script);
- div.parentNode.insertBefore(this.linebreakSpan.cloneNode(true),div);
- }
- //
- // Determine the scaling factors for each script
- // (this only requires one reflow rather than a reflow for each equation)
- //
- var hidden = [];
- for (i = 0; i < m; i++) {
- script = scripts[i]; if (!script.parentNode) continue;
- test = script.previousSibling; div = test.previousSibling;
- jax = script.MathJax.elementJax; if (!jax) continue;
- ex = test.firstChild.offsetHeight/60;
- cwidth = Math.max(0,(div.previousSibling.firstChild.offsetWidth-2) / this.config.scale * 100);
- if (ex === 0 || ex === "NaN") {
- // can't read width, so move to hidden div for processing
- hidden.push(div);
- jax.SVG.isHidden = true;
- ex = this.defaultEx; cwidth = this.defaultWidth;
- }
- if (relwidth) {maxwidth = cwidth}
- jax.SVG.ex = ex;
- jax.SVG.em = em = ex / SVG.TeX.x_height * 1000; // scale ex to x_height
- jax.SVG.cwidth = cwidth/em * 1000;
- jax.SVG.lineWidth = (linebreak ? this.length2em(width,1,maxwidth/em*1000) : SVG.BIGDIMEN);
- }
- for (i = 0, n = hidden.length; i < n; i++) {
- this.hiddenDiv.appendChild(hidden[i]);
- this.addElement(this.hiddenDiv,"br");
- }
- //
- // 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 = scripts[i].previousSibling; span = test.previousSibling;
- jax = scripts[i].MathJax.elementJax; if (!jax) continue;
- if (!jax.SVG.isHidden) {span = span.previousSibling}
- span.parentNode.removeChild(span);
- test.parentNode.removeChild(test);
- if (script.MathJax.preview) script.MathJax.preview.style.display = "";
- }
- //
- // Set state variables used for displaying equations in chunks
- //
- state.SVGeqn = state.SVGlast = 0; state.SVGi = -1;
- state.SVGchunk = this.config.EqnChunk;
- state.SVGdelay = false;
- },
- Translate: function (script,state) {
- if (!script.parentNode) return;
- //
- // If we are supposed to do a chunk delay, do it
- //
- if (state.SVGdelay) {
- state.SVGdelay = false;
- HUB.RestartAfter(MathJax.Callback.Delay(this.config.EqnChunkDelay));
- }
- //
- // Get the data about the math
- //
- var jax = script.MathJax.elementJax, math = jax.root, div, span,
- localCache = (SVG.config.useFontCache && !SVG.config.useGlobalCache);
- if (jax.SVG.isHidden) {
- span = document.getElementById(jax.inputID+"-Frame");
- div = (jax.SVG.display ? span.parentElement : span);
- } else {
- div = script.previousSibling;
- span = (jax.SVG.display ? (div||{}).firstChild||div : div);
- }
- if (!div) return;
- //
- // Set the font metrics
- //
- this.em = MML.mbase.prototype.em = jax.SVG.em; this.ex = jax.SVG.ex;
- this.linebreakWidth = jax.SVG.lineWidth; this.cwidth = jax.SVG.cwidth;
- //
- // Typeset the math
- //
- this.mathDiv = div;
- span.appendChild(this.textSVG);
- if (localCache) {SVG.resetGlyphs()}
- this.initSVG(math,span);
- math.setTeXclass();
- try {math.toSVG(span,div)} catch (err) {
- if (err.restart) {while (span.firstChild) {span.removeChild(span.firstChild)}}
- if (localCache) {BBOX.GLYPH.n--}
- throw err;
- }
- span.removeChild(this.textSVG);
- //
- // Put it in place, and remove the processing marker
- //
- if (jax.SVG.isHidden) {script.parentNode.insertBefore(div,script)}
- div.className = div.className.split(/ /)[0];
- //
- // Check if we are hiding the math until more is processed
- //
- if (this.hideProcessedMath) {
- //
- // Hide the math and don't let its preview be removed
- //
- div.className += " MathJax_SVG_Processed";
- if (script.MathJax.preview) {
- jax.SVG.preview = script.MathJax.preview;
- delete script.MathJax.preview;
- }
- //
- // Check if we should show this chunk of equations
- //
- state.SVGeqn += (state.i - state.SVGi); state.SVGi = state.i;
- if (state.SVGeqn >= state.SVGlast + state.SVGchunk) {
- this.postTranslate(state,true);
- state.SVGchunk = Math.floor(state.SVGchunk*this.config.EqnChunkFactor);
- state.SVGdelay = true; // delay if there are more scripts
- }
- }
- },
- postTranslate: function (state,partial) {
- var scripts = state.jax[this.id];
- if (!this.hideProcessedMath) return;
- //
- // Reveal this chunk of math
- //
- for (var i = state.SVGlast, m = state.SVGeqn; i < m; i++) {
- var script = scripts[i];
- if (script && script.MathJax.elementJax) {
- //
- // Remove the processed marker
- //
- script.previousSibling.className = script.previousSibling.className.split(/ /)[0];
- var data = script.MathJax.elementJax.SVG;
- //
- // 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.SVGlast = state.SVGeqn;
- },
-
- resetGlyphs: function (reset) {
- if (this.config.useFontCache) {
- var GLYPH = BBOX.GLYPH;
- if (this.config.useGlobalCache) {
- GLYPH.defs = document.getElementById("MathJax_SVG_glyphs");
- GLYPH.defs.innerHTML = "";
- } else {
- GLYPH.defs = this.Element("defs");
- GLYPH.n++;
- }
- GLYPH.glyphs = {};
- if (reset) {GLYPH.n = 0}
- }
- },
- //
- // Return the containing HTML element rather than the SVG element, since
- // most browsers can't position to an SVG element properly.
- //
- hashCheck: function (target) {
- if (target && target.nodeName.toLowerCase() === "g")
- {do {target = target.parentNode} while (target && target.firstChild.nodeName !== "svg")}
- return target;
- },
- getJaxFromMath: function (math) {
- if (math.parentNode.className.match(/MathJax_SVG_Display/)) {math = math.parentNode}
- do {math = math.nextSibling} while (math && math.nodeName.toLowerCase() !== "script");
- return HUB.getJaxFor(math);
- },
- getHoverSpan: function (jax,math) {
- math.style.position = "relative"; // make sure inline containers have position set
- return math.firstChild;
- },
- getHoverBBox: function (jax,span,math) {
- var bbox = EVENT.getBBox(span.parentNode);
- bbox.h += 2; bbox.d -= 2; // bbox seems to be a bit off, so compensate (FIXME)
- return bbox;
- },
-
- Zoom: function (jax,span,math,Mw,Mh) {
- //
- // Re-render at larger size
- //
- span.className = "MathJax_SVG";
- //
- // get em size (taken from this.preTranslate)
- //
- var emex = span.appendChild(this.ExSpan.cloneNode(true));
- var ex = emex.firstChild.offsetHeight/60;
- this.em = MML.mbase.prototype.em = ex / SVG.TeX.x_height * 1000; this.ex = ex;
- this.linebreakWidth = jax.SVG.lineWidth; this.cwidth = jax.SVG.cwidth;
- emex.parentNode.removeChild(emex);
- span.appendChild(this.textSVG);
- this.mathDIV = span; this.zoomScale = parseInt(HUB.config.menuSettings.zscale) / 100;
- var tw = jax.root.data[0].SVGdata.tw; if (tw && tw < this.cwidth) this.cwidth = tw;
- this.idPostfix = "-zoom"; jax.root.toSVG(span,span); this.idPostfix = "";
- this.zoomScale = 1;
- span.removeChild(this.textSVG);
-
- //
- // Don't allow overlaps on any edge
- //
- var svg = span.getElementsByTagName("svg")[0].style;
- svg.marginTop = svg.marginRight = svg.marginLeft = 0;
- if (svg.marginBottom.charAt(0) === "-")
- span.style.marginBottom = svg.marginBottom.substr(1);
-
- if (this.operaZoomRefresh)
- {setTimeout(function () {span.firstChild.style.border="1px solid transparent"},1)}
- //
- // WebKit bug (issue #749)
- //
- if (span.offsetWidth < span.firstChild.offsetWidth) {
- span.style.minWidth = span.firstChild.offsetWidth + "px";
- math.style.minWidth = math.firstChild.offsetWidth + "px";
- }
- //
- // Get height and width of zoomed math and original math
- //
- span.style.position = math.style.position = "absolute";
- var zW = span.offsetWidth, zH = span.offsetHeight,
- mH = math.offsetHeight, mW = math.offsetWidth;
- span.style.position = math.style.position = "";
- //
- return {Y:-EVENT.getBBox(span).h, mW:mW, mH:mH, zW:zW, zH:zH};
- },
- initSVG: function (math,span) {},
-
- Remove: function (jax) {
- var span = document.getElementById(jax.inputID+"-Frame");
- if (span) {
- if (jax.SVG.display) {span = span.parentNode}
- span.parentNode.removeChild(span);
- }
- delete jax.SVG;
- },
-
- Em: function (m) {
- if (Math.abs(m) < .0006) return "0";
- return m.toFixed(3).replace(/\.?0+$/,"") + "em";
- },
- Ex: function (m) {
- m = m / this.TeX.x_height;
- if (Math.abs(m) < .0006) return "0";
- return m.toFixed(3).replace(/\.?0+$/,"") + "ex";
- },
- Percent: function (m) {
- return (100*m).toFixed(1).replace(/\.?0+$/,"") + "%";
- },
- Fixed: function (m,n) {
- if (Math.abs(m) < .0006) return "0";
- return m.toFixed(n||3).replace(/\.?0+$/,"");
- },
- length2em: function (length,mu,size) {
- if (typeof(length) !== "string") {length = length.toString()}
- if (length === "") {return ""}
- if (length === MML.SIZE.NORMAL) {return 1000}
- if (length === MML.SIZE.BIG) {return 2000}
- if (length === MML.SIZE.SMALL) {return 710}
- if (length === "infinity") {return SVG.BIGDIMEN}
- if (length.match(/mathspace$/)) {return 1000*SVG.MATHSPACE[length]}
- var emFactor = (this.zoomScale || 1) / SVG.em;
- var match = length.match(/^\s*([-+]?(?:\.\d+|\d+(?:\.\d*)?))?(pt|em|ex|mu|px|pc|in|mm|cm|%)?/);
- var m = parseFloat(match[1]||"1") * 1000, unit = match[2];
- if (size == null) {size = 1000}; if (mu == null) {mu = 1}
- if (unit === "em") {return m}
- if (unit === "ex") {return m * SVG.TeX.x_height/1000}
- if (unit === "%") {return m / 100 * size / 1000}
- if (unit === "px") {return m * emFactor}
- if (unit === "pt") {return m / 10} // 10 pt to an em
- if (unit === "pc") {return m * 1.2} // 12 pt to a pc
- if (unit === "in") {return m * this.pxPerInch * emFactor}
- if (unit === "cm") {return m * this.pxPerInch * emFactor / 2.54} // 2.54 cm to an inch
- if (unit === "mm") {return m * this.pxPerInch * emFactor / 25.4} // 10 mm to a cm
- if (unit === "mu") {return m / 18 * mu}
- return m*size / 1000; // relative to given size (or 1em as default)
- },
- thickness2em: function (length,mu) {
- var thick = SVG.TeX.rule_thickness;
- 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,mu,thick);
- },
- getPadding: function (styles) {
- var padding = {top:0, right:0, bottom:0, left:0}, has = false;
- for (var id in padding) {if (padding.hasOwnProperty(id)) {
- var pad = styles["padding"+id.charAt(0).toUpperCase()+id.substr(1)];
- if (pad) {padding[id] = this.length2em(pad); has = true;}
- }}
- return (has ? padding : false);
- },
- getBorders: function (styles) {
- var border = {top:0, right:0, bottom:0, left:0}, has = false;
- for (var id in border) {if (border.hasOwnProperty(id)) {
- var ID = "border"+id.charAt(0).toUpperCase()+id.substr(1);
- var style = styles[ID+"Style"];
- if (style && style !== "none") {
- has = true;
- border[id] = this.length2em(styles[ID+"Width"]);
- border[id+"Style"] = styles[ID+"Style"];
- border[id+"Color"] = styles[ID+"Color"];
- if (border[id+"Color"] === "initial") {border[id+"Color"] = ""}
- } else {delete border[id]}
- }}
- return (has ? border : false);
- },
- Element: function (type,def) {
- var obj = (typeof(type) === "string" ? document.createElementNS(SVGNS,type) : type);
- obj.isMathJax = true;
- if (def) {for (var id in def) {if (def.hasOwnProperty(id)) {obj.setAttribute(id,def[id].toString())}}}
- return obj;
- },
- addElement: function (parent,type,def) {return parent.appendChild(this.Element(type,def))},
- TextNode: HTML.TextNode,
- addText: HTML.addText,
- ucMatch: HTML.ucMatch,
- HandleVariant: function (variant,scale,text) {
- var svg = BBOX.G();
- var n, N, c, font, VARIANT, i, m, id, M, RANGES;
- if (!variant) {variant = this.FONTDATA.VARIANT[MML.VARIANT.NORMAL]}
- if (variant.forceFamily) {
- text = BBOX.TEXT(scale,text,variant.font);
- if (variant.h != null) {text.h = variant.h}; if (variant.d != null) {text.d = variant.d}
- svg.Add(text); text = "";
- }
- VARIANT = variant;
- for (i = 0, m = text.length; i < m; i++) {
- variant = VARIANT;
- n = text.charCodeAt(i); c = text.charAt(i);
- if (n >= 0xD800 && n < 0xDBFF) {
- i++; n = (((n-0xD800)<<10)+(text.charCodeAt(i)-0xDC00))+0x10000;
- if (this.FONTDATA.RemapPlane1) {
- var nv = this.FONTDATA.RemapPlane1(n,variant);
- n = nv.n; variant = nv.variant;
- }
- } else {
- RANGES = this.FONTDATA.RANGES;
- for (id = 0, M = RANGES.length; id < M; id++) {
- if (RANGES[id].name === "alpha" && variant.noLowerCase) continue;
- 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 = this.FONTDATA.VARIANT[variant["variant"+RANGES[id].offset]]}
- break;
- }
- }
- }
- if (variant.remap && variant.remap[n]) {
- n = variant.remap[n];
- if (variant.remap.variant) {variant = this.FONTDATA.VARIANT[variant.remap.variant]}
- } else if (this.FONTDATA.REMAP[n] && !variant.noRemap) {
- n = this.FONTDATA.REMAP[n];
- }
- if (isArray(n)) {variant = this.FONTDATA.VARIANT[n[1]]; n = n[0]}
- if (typeof(n) === "string") {
- text = n+text.substr(i+1);
- m = text.length; i = -1;
- continue;
- }
- font = this.lookupChar(variant,n); c = font[n];
- if (c) {
- if ((c[5] && c[5].space) || (c[5] === "" && c[0]+c[1] === 0)) {svg.w += c[2]} else {
- c = [scale,font.id+"-"+n.toString(16).toUpperCase()].concat(c);
- svg.Add(BBOX.GLYPH.apply(BBOX,c),svg.w,0);
- }
- } else if (this.FONTDATA.DELIMITERS[n]) {
- c = this.createDelimiter(n,0,1,font);
- svg.Add(c,svg.w,(this.FONTDATA.DELIMITERS[n].dir === "V" ? c.d: 0));
- } else {
- if (n <= 0xFFFF) {c = String.fromCharCode(n)} else {
- N = n - 0x10000;
- c = String.fromCharCode((N>>10)+0xD800)
- + String.fromCharCode((N&0x3FF)+0xDC00);
- }
- var box = BBOX.TEXT(scale*100/SVG.config.scale,c,{
- "font-family":variant.defaultFamily||SVG.config.undefinedFamily,
- "font-style":(variant.italic?"italic":""),
- "font-weight":(variant.bold?"bold":"")
- })
- if (variant.h != null) {box.h = variant.h}; if (variant.d != null) {box.d = variant.d}
- c = BBOX.G(); c.Add(box); svg.Add(c,svg.w,0);
- HUB.signal.Post(["SVG Jax - unknown char",n,variant]);
- }
- }
- if (text.length == 1 && font.skew && font.skew[n]) {svg.skew = font.skew[n]*1000}
- if (svg.element.childNodes.length === 1 && !svg.element.firstChild.getAttribute("x")) {
- svg.element = svg.element.firstChild;
- svg.removeable = false; svg.scale = scale;
- }
- return svg;
- },
-
- lookupChar: function (variant,n) {
- var i, m;
- if (!variant.FONTS) {
- var FONTS = this.FONTDATA.FONTS;
- var fonts = (variant.fonts || this.FONTDATA.VARIANT.normal.fonts);
- if (!(fonts instanceof Array)) {fonts = [fonts]}
- if (variant.fonts != fonts) {variant.fonts = fonts}
- variant.FONTS = [];
- for (i = 0, m = fonts.length; i < m; i++) {
- if (FONTS[fonts[i]]) {variant.FONTS.push(FONTS[fonts[i]])}
- }
- }
- for (i = 0, m = variant.FONTS.length; i < m; i++) {
- var font = variant.FONTS[i];
- if (typeof(font) === "string") {delete variant.FONTS; this.loadFont(font)}
- if (font[n]) {return font} else {this.findBlock(font,n)}
- }
- return {id:"unknown"};
- },
- findBlock: function (font,c) {
- if (font.Ranges) {
- // FIXME: do binary search?
- for (var i = 0, m = font.Ranges.length; i < m; i++) {
- if (c < font.Ranges[i][0]) return;
- if (c <= font.Ranges[i][1]) {
- var file = font.Ranges[i][2];
- for (var j = font.Ranges.length-1; j >= 0; j--)
- {if (font.Ranges[j][2] == file) {font.Ranges.splice(j,1)}}
- this.loadFont(font.directory+"/"+file+".js");
- }
- }
- }
- },
-
- loadFont: function (file) {
- HUB.RestartAfter(AJAX.Require(this.fontDir+"/"+file));
- },
- createDelimiter: function (code,HW,scale,font) {
- if (!scale) {scale = 1};
- var svg = BBOX.G();
- if (!code) {
- svg.Clean(); delete svg.element;
- svg.w = svg.r = this.TeX.nulldelimiterspace * scale;
- return svg;
- }
- if (!(HW instanceof Array)) {HW = [HW,HW]}
- var hw = HW[1]; HW = HW[0];
- var delim = {alias: code};
- while (delim.alias) {
- code = delim.alias; delim = this.FONTDATA.DELIMITERS[code];
- if (!delim) {delim = {HW: [0,this.FONTDATA.VARIANT[MML.VARIANT.NORMAL]]}}
- }
- if (delim.load) {HUB.RestartAfter(AJAX.Require(this.fontDir+"/fontdata-"+delim.load+".js"))}
- for (var i = 0, m = delim.HW.length; i < m; i++) {
- if (delim.HW[i][0]*scale >= HW-10-SVG.config.blacker || (i == m-1 && !delim.stretch)) {
- if (delim.HW[i][2]) {scale *= delim.HW[i][2]}
- if (delim.HW[i][3]) {code = delim.HW[i][3]}
- return this.createChar(scale,[code,delim.HW[i][1]],font).With({stretched: true});
- }
- }
- if (delim.stretch) {this["extendDelimiter"+delim.dir](svg,hw,delim.stretch,scale,font)}
- return svg;
- },
- createChar: function (scale,data,font) {
- var text = "", variant = {fonts: [data[1]], noRemap:true};
- if (font && font === MML.VARIANT.BOLD) {variant.fonts = [data[1]+"-bold",data[1]]}
- if (typeof(data[1]) !== "string") {variant = data[1]}
- if (data[0] instanceof Array) {
- for (var i = 0, m = data[0].length; i < m; i++) {text += String.fromCharCode(data[0][i])}
- } else {text = String.fromCharCode(data[0])}
- if (data[4]) {scale = scale*data[4]}
- var svg = this.HandleVariant(variant,scale,text);
- if (data[2]) {svg.x = data[2]*1000}
- if (data[3]) {svg.y = data[3]*1000}
- if (data[5]) {svg.h += data[5]*1000}
- if (data[6]) {svg.d += data[6]*1000}
- return svg;
- },
- extendDelimiterV: function (svg,H,delim,scale,font) {
- var top = this.createChar(scale,(delim.top||delim.ext),font);
- var bot = this.createChar(scale,(delim.bot||delim.ext),font);
- var h = top.h + top.d + bot.h + bot.d;
- var y = -top.h; svg.Add(top,0,y); y -= top.d;
- if (delim.mid) {var mid = this.createChar(scale,delim.mid,font); h += mid.h + mid.d}
- if (delim.min && H < h*delim.min) {H = h*delim.min}
- if (H > h) {
- var ext = this.createChar(scale,delim.ext,font);
- var k = (delim.mid ? 2 : 1), eH = (H-h) / k, s = (eH+100) / (ext.h+ext.d);
- while (k-- > 0) {
- var g = SVG.Element("g",{transform:"translate("+ext.y+","+(y-s*ext.h+50+ext.y)+") scale(1,"+s+")"});
- g.appendChild(ext.element.cloneNode(false)); svg.element.appendChild(g); y -= eH;
- if (delim.mid && k) {svg.Add(mid,0,y-mid.h); y -= (mid.h+mid.d)}
- }
- } else if (delim.mid) {
- y += (h - H)/2; svg.Add(mid,0,y-mid.h); y += -(mid.h + mid.d) + (h - H)/2;
- } else {
- y += (h - H);
- }
- svg.Add(bot,0,y-bot.h); svg.Clean();
- svg.scale = scale;
- svg.isMultiChar = true;
- },
- extendDelimiterH: function (svg,W,delim,scale,font) {
- var left = this.createChar(scale,(delim.left||delim.rep),font);
- var right = this.createChar(scale,(delim.right||delim.rep),font);
- svg.Add(left,-left.l,0);
- var w = (left.r - left.l) + (right.r - right.l), x = left.r - left.l;
- if (delim.mid) {var mid = this.createChar(scale,delim.mid,font); w += mid.w}
- if (delim.min && W < w*delim.min) {W = w*delim.min}
- if (W > w) {
- var rep = this.createChar(scale,delim.rep,font), fuzz = delim.fuzz || 0;
- var k = (delim.mid ? 2 : 1), rW = (W-w) / k, s = (rW+fuzz) / (rep.r-rep.l);
- while (k-- > 0) {
- var g = SVG.Element("g",{transform:"translate("+(x-fuzz/2-s*rep.l+rep.x)+","+rep.y+") scale("+s+",1)"});
- g.appendChild(rep.element.cloneNode(false)); svg.element.appendChild(g); x += rW;
- if (delim.mid && k) {svg.Add(mid,x,0); x += mid.w}
- }
- } else if (delim.mid) {
- x -= (w - W)/2; svg.Add(mid,x,0); x += mid.w - (w - W)/2;
- } else {
- x -= (w - W);
- }
- svg.Add(right,x-right.l,0); svg.Clean();
- svg.scale = scale;
- svg.isMultiChar = true;
- },
- 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
- },
- //
- // Units are em/1000 so quad is 1em
- //
- TeX: {
- x_height: 430.554,
- quad: 1000,
- num1: 676.508,
- num2: 393.732,
- num3: 443.73,
- denom1: 685.951,
- denom2: 344.841,
- sup1: 412.892,
- sup2: 362.892,
- sup3: 288.888,
- sub1: 150,
- sub2: 247.217,
- sup_drop: 386.108,
- sub_drop: 50,
- delim1: 2390,
- delim2: 1000,
- axis_height: 250,
- rule_thickness: 60,
- big_op_spacing1: 111.111,
- big_op_spacing2: 166.666,
- big_op_spacing3: 200,
- big_op_spacing4: 600,
- big_op_spacing5: 100,
- scriptspace: 100,
- nulldelimiterspace: 120,
- delimiterfactor: 901,
- delimitershortfall: 300,
- min_rule_thickness: 1.25, // in pixels
- min_root_space: 1.5 // in pixels
- },
- BIGDIMEN: 10000000,
- NBSP: "\u00A0"
- });
-
- var BBOX = SVG.BBOX = MathJax.Object.Subclass({
- type: "g", removeable: true,
- Init: function (def) {
- this.h = this.d = -SVG.BIGDIMEN; this.H = this.D = 0;
- this.w = this.r = 0; this.l = SVG.BIGDIMEN;
- this.x = this.y = 0; this.scale = 1; this.n = 0;
- if (this.type) {this.element = SVG.Element(this.type,def)}
- },
- With: function (def) {return HUB.Insert(this,def)},
- Add: function (svg,dx,dy,forcew,infront) {
- if (dx) {svg.x += dx}; if (dy) {svg.y += dy};
- if (svg.element) {
- if (svg.removeable && svg.element.childNodes.length === 1 && svg.n === 1) {
- var child = svg.element.firstChild, nodeName = child.nodeName.toLowerCase();
- if (nodeName === "use" || nodeName === "rect") {
- svg.element = child; svg.scale = svg.childScale;
- var x = svg.childX, y = svg.childY;
- svg.x += x; svg.y += y;
- svg.h -= y; svg.d += y; svg.H -= y; svg.D +=y;
- svg.w -= x; svg.r -= x; svg.l += x;
- svg.removeable = false;
- child.setAttribute("x",Math.floor(svg.x/svg.scale));
- child.setAttribute("y",Math.floor(svg.y/svg.scale));
- }
- }
- if (Math.abs(svg.x) < 1 && Math.abs(svg.y) < 1) {
- svg.remove = svg.removeable;
- } else {
- nodeName = svg.element.nodeName.toLowerCase();
- if (nodeName === "g") {
- if (!svg.element.firstChild) {svg.remove = svg.removeable}
- else {svg.element.setAttribute("transform","translate("+Math.floor(svg.x)+","+Math.floor(svg.y)+")")}
- } else if (nodeName === "line" || nodeName === "polygon" ||
- nodeName === "path" || nodeName === "a") {
- var transform = svg.element.getAttribute("transform") || "";
- if (transform) transform = " "+transform;
- transform = "translate("+Math.floor(svg.x)+","+Math.floor(svg.y)+")"+transform;
- svg.element.setAttribute("transform",transform);
- } else {
- svg.element.setAttribute("x",Math.floor(svg.x/svg.scale));
- svg.element.setAttribute("y",Math.floor(svg.y/svg.scale));
- }
- }
- if (svg.remove) {
- this.n += svg.n;
- while (svg.element.firstChild) {
- if (infront && this.element.firstChild) {
- this.element.insertBefore(svg.element.firstChild,this.element.firstChild);
- } else {
- this.element.appendChild(svg.element.firstChild);
- }
- }
- } else {
- if (infront) {this.element.insertBefore(svg.element,this.element.firstChild)}
- else {this.element.appendChild(svg.element)}
- }
- delete svg.element;
- }
- if (svg.hasIndent) {this.hasIndent = svg.hasIndent}
- if (svg.tw != null) {this.tw = svg.tw}
- if (svg.d - svg.y > this.d) {this.d = svg.d - svg.y; if (this.d > this.D) {this.D = this.d}}
- if (svg.y + svg.h > this.h) {this.h = svg.y + svg.h; if (this.h > this.H) {this.H = this.h}}
- if (svg.D - svg.y > this.D) {this.D = svg.D - svg.y}
- if (svg.y + svg.H > this.H) {this.H = svg.y + svg.H}
- if (svg.x + svg.l < this.l) {this.l = svg.x + svg.l}
- if (svg.x + svg.r > this.r) {this.r = svg.x + svg.r}
- if (forcew || svg.x + svg.w + (svg.X||0) > this.w) {this.w = svg.x + svg.w + (svg.X||0)}
- this.childScale = svg.scale; this.childX = svg.x; this.childY = svg.y; this.n++;
- return svg;
- },
- Align: function (svg,align,dx,dy,shift) {
- dx = ({left: dx, center: (this.w - svg.w)/2, right: this.w - svg.w - dx})[align] || 0;
- var w = this.w; this.Add(svg,dx+(shift||0),dy); this.w = w;
- },
- Clean: function () {
- if (this.h === -SVG.BIGDIMEN) {this.h = this.d = this.l = 0}
- return this;
- }
- });
-
- BBOX.ROW = BBOX.Subclass({
- Init: function () {
- this.SUPER(arguments).Init.call(this);
- this.svg = []; this.sh = this.sd = 0;
- },
- Check: function (data) {
- var svg = data.toSVG(); this.svg.push(svg);
- if (data.SVGcanStretch("Vertical")) {svg.mml = data}
- if (svg.h > this.sh) {this.sh = svg.h}
- if (svg.d > this.sd) {this.sd = svg.d}
- },
- Stretch: function () {
- for (var i = 0, m = this.svg.length; i < m; i++)
- {
- var svg = this.svg[i], mml = svg.mml;
- if (mml) {
- if (mml.forceStretch || mml.SVGdata.h !== this.sh || mml.SVGdata.d !== this.sd) {
- svg = mml.SVGstretchV(this.sh,this.sd);
- }
- mml.SVGdata.HW = this.sh; mml.SVGdata.D = this.sd;
- }
- if (svg.ic) {this.ic = svg.ic} else {delete this.ic}
- this.Add(svg,this.w,0,true);
- }
- delete this.svg;
- }
- });
-
- BBOX.RECT = BBOX.Subclass({
- type: "rect", removeable: false,
- Init: function (h,d,w,def) {
- if (def == null) {def = {stroke:"none"}}
- def.width = Math.floor(w); def.height = Math.floor(h+d);
- this.SUPER(arguments).Init.call(this,def);
- this.w = this.r = w; this.h = this.H = h+d; this.d = this.D = this.l = 0; this.y = -d;
- }
- });
-
- BBOX.FRAME = BBOX.Subclass({
- type: "rect", removeable: false,
- Init: function (h,d,w,t,dash,color,def) {
- if (def == null) {def = {}}; def.fill = "none";
- def["stroke-width"] = SVG.Fixed(t,2);
- def.width = Math.floor(w-t); def.height = Math.floor(h+d-t);
- def.transform = "translate("+Math.floor(t/2)+","+Math.floor(-d+t/2)+")";
- if (dash === "dashed")
- {def["stroke-dasharray"] = [Math.floor(6*SVG.em),Math.floor(6*SVG.em)].join(" ")}
- this.SUPER(arguments).Init.call(this,def);
- this.w = this.r = w; this.h = this.H = h;
- this.d = this.D = d; this.l = 0;
- }
- });
-
- BBOX.HLINE = BBOX.Subclass({
- type: "line", removeable: false,
- Init: function (w,t,dash,color,def) {
- if (def == null) {def = {"stroke-linecap":"square"}}
- if (color && color !== "") {def.stroke = color}
- def["stroke-width"] = SVG.Fixed(t,2);
- def.x1 = def.y1 = def.y2 = Math.floor(t/2); def.x2 = Math.floor(w-t/2);
- if (dash === "dashed") {
- var n = Math.floor(Math.max(0,w-t)/(6*t)), m = Math.floor(Math.max(0,w-t)/(2*n+1));
- def["stroke-dasharray"] = m+" "+m;
- }
- if (dash === "dotted") {
- def["stroke-dasharray"] = [1,Math.max(150,Math.floor(2*t))].join(" ");
- def["stroke-linecap"] = "round";
- }
- this.SUPER(arguments).Init.call(this,def);
- this.w = this.r = w; this.l = 0; this.h = this.H = t; this.d = this.D = 0;
- }
- });
- BBOX.VLINE = BBOX.Subclass({
- type: "line", removeable: false,
- Init: function (h,t,dash,color,def) {
- if (def == null) {def = {"stroke-linecap":"square"}}
- if (color && color !== "") {def.stroke = color}
- def["stroke-width"] = SVG.Fixed(t,2);
- def.x1 = def.x2 = def.y1 = Math.floor(t/2); def.y2 = Math.floor(h-t/2);
- if (dash === "dashed") {
- var n = Math.floor(Math.max(0,h-t)/(6*t)), m = Math.floor(Math.max(0,h-t)/(2*n+1));
- def["stroke-dasharray"] = m+" "+m;
- }
- if (dash === "dotted") {
- def["stroke-dasharray"] = [1,Math.max(150,Math.floor(2*t))].join(" ");
- def["stroke-linecap"] = "round";
- }
- this.SUPER(arguments).Init.call(this,def);
- this.w = this.r = t; this.l = 0; this.h = this.H = h; this.d = this.D = 0;
- }
- });
- BBOX.TEXT = BBOX.Subclass({
- type: "text", removeable: false,
- Init: function (scale,text,def) {
- if (!def) {def = {}}; def.stroke = "none";
- if (def["font-style"] === "") delete def["font-style"];
- if (def["font-weight"] === "") delete def["font-weight"];
- this.SUPER(arguments).Init.call(this,def);
- SVG.addText(this.element,text);
- SVG.textSVG.appendChild(this.element);
- var bbox = this.element.getBBox();
- SVG.textSVG.removeChild(this.element);
- scale *= 1000/SVG.em;
- this.element.setAttribute("transform","scale("+SVG.Fixed(scale)+") matrix(1 0 0 -1 0 0)");
- this.w = this.r = bbox.width*scale; this.l = 0;
- this.h = this.H = -bbox.y*scale;
- this.d = this.D = (bbox.height + bbox.y)*scale;
- }
- });
-
- BBOX.G = BBOX;
-
- BBOX.NULL = BBOX.Subclass({
- Init: function () {
- this.SUPER(arguments).Init.apply(this,arguments);
- this.Clean();
- }
- });
-
- BBOX.GLYPH = BBOX.Subclass({
- type: "path", removeable: false,
- Init: function (scale,id,h,d,w,l,r,p) {
- var def, t = SVG.config.blacker, GLYPH = BBOX.GLYPH;
- var cache = SVG.config.useFontCache;
- var transform = (scale === 1 ? null : "scale("+SVG.Fixed(scale)+")");
- if (cache && !SVG.config.useGlobalCache) {id = "E"+GLYPH.n+"-"+id}
- if (!cache || !GLYPH.glyphs[id]) {
- def = {"stroke-width":t};
- if (cache) {def.id = id} else if (transform) {def.transform = transform}
- def.d = (p ? "M"+p+"Z" : "");
- this.SUPER(arguments).Init.call(this,def);
- if (cache) {GLYPH.defs.appendChild(this.element); GLYPH.glyphs[id] = true;}
- }
- if (cache) {
- def = {}; if (transform) {def.transform = transform}
- this.element = SVG.Element("use",def);
- this.element.setAttributeNS(XLINKNS,"href",SVGURL+"#"+id);
- }
- this.h = (h+t) * scale; this.d = (d+t) * scale; this.w = (w+t/2) *scale;
- this.l = (l+t/2) * scale; this.r = (r+t/2) * scale;
- this.H = Math.max(0,this.h); this.D = Math.max(0,this.d);
- this.x = this.y = 0; this.scale = scale;
- }
- },{
- glyphs: {}, // which glpyhs have been used
- defs: null, // the SVG <defs> element where glyphs are stored
- n: 0 // the ID for local <defs> for self-contained SVG elements
- });
-
- HUB.Register.StartupHook("mml Jax Ready",function () {
- MML = MathJax.ElementJax.mml;
- MML.mbase.Augment({
- SVG: BBOX,
- toSVG: function () {
- this.SVGgetStyles();
- var variant = this.SVGgetVariant();
- var svg = this.SVG(); this.SVGgetScale(svg);
- this.SVGhandleSpace(svg);
- for (var i = 0, m = this.data.length; i < m; i++) {
- if (this.data[i]) {
- var child = svg.Add(this.data[i].toSVG(variant,svg.scale),svg.w,0,true);
- if (child.skew) {svg.skew = child.skew}
- }
- }
- svg.Clean(); var text = this.data.join("");
- if (svg.skew && text.length !== 1) {delete svg.skew}
- if (svg.r > svg.w && text.length === 1 && !variant.noIC)
- {svg.ic = svg.r - svg.w; svg.w = svg.r}
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
-
- SVGchildSVG: function (i) {
- return (this.data[i] ? this.data[i].toSVG() : BBOX());
- },
-
- SVGdataStretched: function (i,HW,D) {
- this.SVGdata = {HW:HW, D:D};
- if (!this.data[i]) {return BBOX()}
- if (D != null) {return this.data[i].SVGstretchV(HW,D)}
- if (HW != null) {return this.data[i].SVGstretchH(HW)}
- return this.data[i].toSVG();
- },
-
- SVGsaveData: function (svg) {
- if (!this.SVGdata) {this.SVGdata = {}}
- this.SVGdata.w = svg.w, this.SVGdata.x = svg.x;
- this.SVGdata.h = svg.h, this.SVGdata.d = svg.d;
- if (svg.y) {this.SVGdata.h += svg.y; this.SVGdata.d -= svg.y}
- if (svg.X != null) {this.SVGdata.X = svg.X}
- if (svg.tw != null) {this.SVGdata.tw = svg.tw}
- if (svg.skew) {this.SVGdata.skew = svg.skew}
- if (svg.ic) {this.SVGdata.ic = svg.ic}
- if (this["class"]) {svg.removeable = false; SVG.Element(svg.element,{"class":this["class"]})}
- // FIXME: if an element is split by linebreaking, the ID will be the same on both parts
- // FIXME: if an element has an id, its zoomed copy will have the same ID
- if (this.id) {svg.removeable = false; SVG.Element(svg.element,{"id":this.id})}
- if (this.href) {this.SVGaddHref(svg)}
- if (SVG.config.addMMLclasses) {
- this.SVGaddClass(svg.element,"mjx-svg-"+this.type);
- svg.removeable = false;
- }
- var style = this.style;
- if (style && svg.element) {
- svg.element.style.cssText = style;
- if (svg.element.style.fontSize) {svg.element.style.fontSize = ""} // handled by scale
- svg.element.style.border = svg.element.style.padding = "";
- if (svg.removeable) {svg.removeable = (svg.element.style.cssText === "")}
- }
- this.SVGaddAttributes(svg);
- },
- SVGaddClass: function (node,name) {
- var classes = node.getAttribute("class");
- node.setAttribute("class",(classes ? classes+" " : "")+name);
- },
- SVGaddAttributes: function (svg) {
- //
- // Copy RDFa, aria, and other tags from the MathML to the HTML-CSS
- // output spans Don't copy those in the MML.nocopyAttributes list,
- // the ignoreMMLattributes configuration list, or anything tha
- // already exists as a property of the span (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(svg.element[id]) === "undefined")) {
- svg.element.setAttribute(id,this.attr[id]);
- svg.removeable = false;
- }
- }
- }
- },
- SVGaddHref: function (svg) {
- var a = SVG.Element("a",{"class":"mjx-svg-href"});
- a.setAttributeNS(XLINKNS,"href",this.href);
- a.onclick = this.SVGlink;
- SVG.addElement(a,"rect",{width:svg.w, height:svg.h+svg.d, y:-svg.d,
- fill:"none", stroke:"none", "pointer-events":"all"});
- if (svg.type === "svg") {
- // for svg element, put <a> inside the main <g> element
- var g = svg.element.firstChild;
- while (g.firstChild) {a.appendChild(g.firstChild)}
- g.appendChild(a);
- } else {
- a.appendChild(svg.element); svg.element = a;
- }
- svg.removeable = false;
- },
- //
- // WebKit currently scrolls to the BOTTOM of an svg element if it contains the
- // target of the link, so implement link by hand, to the containing span element.
- //
- SVGlink: function () {
- var href = this.href.animVal;
- if (href.charAt(0) === "#") {
- var target = SVG.hashCheck(document.getElementById(href.substr(1)));
- if (target && target.scrollIntoView)
- {setTimeout(function () {target.parentNode.scrollIntoView(true)},1)}
- }
- document.location = href;
- },
-
- SVGgetStyles: function () {
- if (this.style) {
- var span = HTML.Element("span");
- span.style.cssText = this.style;
- this.styles = this.SVGprocessStyles(span.style);
- }
- },
- SVGprocessStyles: function (style) {
- var styles = {border:SVG.getBorders(style), padding:SVG.getPadding(style)};
- if (!styles.border) {delete styles.border}
- if (!styles.padding) {delete styles.padding}
- if (style.fontSize) {styles.fontSize = style.fontSize}
- if (style.color) {styles.color = style.color}
- if (style.backgroundColor) {styles.background = style.backgroundColor}
- if (style.fontStyle) {styles.fontStyle = style.fontStyle}
- if (style.fontWeight) {styles.fontWeight = style.fontWeight}
- if (style.fontFamily) {styles.fontFamily = style.fontFamily}
- if (styles.fontWeight && styles.fontWeight.match(/^\d+$/))
- {styles.fontWeight = (parseInt(styles.fontWeight) > 600 ? "bold" : "normal")}
- return styles;
- },
-
- SVGhandleSpace: function (svg) {
- if (this.useMMLspacing) {
- if (this.type !== "mo") return;
- var values = this.getValues("scriptlevel","lspace","rspace");
- if (values.scriptlevel <= 0 || this.hasValue("lspace") || this.hasValue("rspace")) {
- var mu = this.SVGgetMu(svg);
- values.lspace = Math.max(0,SVG.length2em(values.lspace,mu));
- values.rspace = Math.max(0,SVG.length2em(values.rspace,mu));
- var core = this, parent = this.Parent();
- while (parent && parent.isEmbellished() && parent.Core() === core)
- {core = parent; parent = parent.Parent()}
- if (values.lspace) {svg.x += values.lspace}
- if (values.rspace) {svg.X = values.rspace}
- }
- } else {
- var space = this.texSpacing();
- this.SVGgetScale();
- if (space !== "") {svg.x += SVG.length2em(space,this.scale)*this.mscale}
- }
- },
- SVGhandleColor: function (svg) {
- var values = this.getValues("mathcolor","color");
- if (this.styles && this.styles.color && !values.color) {values.color = this.styles.color}
- if (values.color && !this.mathcolor) {values.mathcolor = values.color}
- if (values.mathcolor) {
- SVG.Element(svg.element,{fill:values.mathcolor,stroke:values.mathcolor})
- svg.removeable = false;
- }
- var borders = (this.styles||{}).border, padding = (this.styles||{}).padding,
- bleft = ((borders||{}).left||0), pleft = ((padding||{}).left||0), id;
- values.background = (this.mathbackground || this.background ||
- (this.styles||{}).background || MML.COLOR.TRANSPARENT);
- if (bleft + pleft) {
- //
- // Make a box and move the contents of svg to it,
- // then add it back into svg, but offset by the left amount
- //
- var dup = BBOX(); for (id in svg) {if (svg.hasOwnProperty(id)) {dup[id] = svg[id]}}
- dup.x = 0; dup.y = 0;
- svg.element = SVG.Element("g"); svg.removeable = true;
- svg.Add(dup,bleft+pleft,0);
- }
- //
- // Adjust size by padding and dashed borders (left is taken care of above)
- //
- if (padding) {svg.w += padding.right||0; svg.h += padding.top||0; svg.d += padding.bottom||0}
- if (borders) {svg.w += borders.right||0; svg.h += borders.top||0; svg.d += borders.bottom||0}
- //
- // Add background color
- //
- if (values.background !== MML.COLOR.TRANSPARENT) {
- var nodeName = svg.element.nodeName.toLowerCase();
- if (nodeName !== "g" && nodeName !== "svg") {
- var g = SVG.Element("g"); g.appendChild(svg.element);
- svg.element = g; svg.removeable = true;
- }
- svg.Add(BBOX.RECT(svg.h,svg.d,svg.w,{fill:values.background,stroke:"none"}),0,0,false,true)
- }
- //
- // Add borders
- //
- if (borders) {
- var dd = 5; // fuzz factor to avoid anti-alias problems at edges
- var sides = {
- left: ["V",svg.h+svg.d,-dd,-svg.d],
- right: ["V",svg.h+svg.d,svg.w-borders.right+dd,-svg.d],
- top: ["H",svg.w,0,svg.h-borders.top+dd],
- bottom:["H",svg.w,0,-svg.d-dd]
- }
- for (id in sides) {if (sides.hasOwnProperty(id)) {
- if (borders[id]) {
- var side = sides[id], box = BBOX[side[0]+"LINE"];
- svg.Add(box(side[1],borders[id],borders[id+"Style"],borders[id+"Color"]),side[2],side[3]);
- }
- }}
- }
- },
-
- SVGhandleVariant: function (variant,scale,text) {
- return SVG.HandleVariant(variant,scale,text);
- },
- SVGgetVariant: function () {
- var values = this.getValues("mathvariant","fontfamily","fontweight","fontstyle");
- var variant = values.mathvariant;
- if (this.variantForm) variant = "-"+SVG.fontInUse+"-variant";
- values.hasVariant = this.Get("mathvariant",true); // null if not explicitly specified
- if (!values.hasVariant) {
- values.family = values.fontfamily;
- values.weight = values.fontweight;
- values.style = values.fontstyle;
- }
- if (this.styles) {
- if (!values.style && this.styles.fontStyle) {values.style = this.styles.fontStyle}
- if (!values.weight && this.styles.fontWeight) {values.weight = this.styles.fontWeight}
- if (!values.family && this.styles.fontFamily) {values.family = this.styles.fontFamily}
- }
- 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"}
- variant = {forceFamily: true, font: {"font-family":values.family}};
- if (values.style) {variant.font["font-style"] = values.style}
- if (values.weight) {variant.font["font-weight"] = values.weight}
- return variant;
- }
- 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;
- }
- if (!(variant in SVG.FONTDATA.VARIANT)) {
- // If the mathvariant value is invalid or not supported by this
- // font, fallback to normal. See issue 363.
- variant = "normal";
- }
- return SVG.FONTDATA.VARIANT[variant];
- },
-
- SVGgetScale: function (svg) {
- var scale = 1;
- if (this.mscale) {
- scale = this.scale;
- } else {
- var values = this.getValues("scriptlevel","fontsize");
- values.mathsize = (this.isToken ? this : this.Parent()).Get("mathsize");
- if ((this.styles||{}).fontSize && !values.fontsize) {values.fontsize = this.styles.fontSize}
- if (values.fontsize && !this.mathsize) {values.mathsize = values.fontsize}
- if (values.scriptlevel !== 0) {
- if (values.scriptlevel > 2) {values.scriptlevel = 2}
- scale = Math.pow(this.Get("scriptsizemultiplier"),values.scriptlevel);
- values.scriptminsize = SVG.length2em(this.Get("scriptminsize"))/1000;
- if (scale < values.scriptminsize) {scale = values.scriptminsize}
- }
- this.scale = scale; this.mscale = SVG.length2em(values.mathsize)/1000;
- }
- if (svg) {svg.scale = scale; if (this.isToken) {svg.scale *= this.mscale}}
- return scale * this.mscale;
- },
- SVGgetMu: function (svg) {
- var mu = 1, values = this.getValues("scriptlevel","scriptsizemultiplier");
- if (svg.scale && svg.scale !== 1) {mu = 1/svg.scale}
- if (values.scriptlevel !== 0) {
- if (values.scriptlevel > 2) {values.scriptlevel = 2}
- mu = Math.sqrt(Math.pow(values.scriptsizemultiplier,values.scriptlevel));
- }
- return mu;
- },
- SVGnotEmpty: function (data) {
- while (data) {
- if ((data.type !== "mrow" && data.type !== "texatom") ||
- data.data.length > 1) {return true}
- data = data.data[0];
- }
- return false;
- },
-
- SVGcanStretch: function (direction) {
- var can = false;
- if (this.isEmbellished()) {
- var core = this.Core();
- if (core && core !== this) {
- can = core.SVGcanStretch(direction);
- if (can && core.forceStretch) {this.forceStretch = true}
- }
- }
- return can;
- },
- SVGstretchV: function (h,d) {return this.toSVG(h,d)},
- SVGstretchH: function (w) {return this.toSVG(w)},
-
- SVGlineBreaks: function () {return false}
-
- },{
- SVGemptySVG: function () {
- var svg = this.SVG();
- svg.Clean();
- this.SVGsaveData(svg);
- return svg;
- },
- SVGautoload: function () {
- var file = SVG.autoloadDir+"/"+this.type+".js";
- HUB.RestartAfter(AJAX.Require(file));
- },
- SVGautoloadFile: function (name) {
- var file = SVG.autoloadDir+"/"+name+".js";
- HUB.RestartAfter(AJAX.Require(file));
- }
- });
- MML.chars.Augment({
- toSVG: function (variant,scale,remap,chars) {
- var text = this.data.join("").replace(/[\u2061-\u2064]/g,""); // remove invisibles
- if (remap) {text = remap(text,chars)}
- return this.SVGhandleVariant(variant,scale,text);
- }
- });
- MML.entity.Augment({
- toSVG: function (variant,scale,remap,chars) {
- var text = this.toString().replace(/[\u2061-\u2064]/g,""); // remove invisibles
- if (remap) {text = remap(text,chars)}
- return this.SVGhandleVariant(variant,scale,text);
- }
- });
- MML.mo.Augment({
- toSVG: function (HW,D) {
- this.SVGgetStyles();
- var svg = this.svg = this.SVG();
- var scale = this.SVGgetScale(svg);
- this.SVGhandleSpace(svg);
- if (this.data.length == 0) {svg.Clean(); this.SVGsaveData(svg); return svg}
- //
- // Stretch the operator, if that is requested
- //
- if (D != null) {return this.SVGstretchV(HW,D)}
- else if (HW != null) {return this.SVG.strechH(HW)}
- //
- // Get the variant, and check for operator size
- //
- var variant = this.SVGgetVariant();
- var values = this.getValues("largeop","displaystyle");
- if (values.largeop)
- {variant = SVG.FONTDATA.VARIANT[values.displaystyle ? "-largeOp" : "-smallOp"]}
- //
- // Get character translation for superscript and accents
- //
- var parent = this.CoreParent(),
- isScript = (parent && parent.isa(MML.msubsup) && this !== parent.data[0]),
- mapchars = (isScript?this.remapChars:null);
- if (this.data.join("").length === 1 && parent && parent.isa(MML.munderover) &&
- this.CoreText(parent.data[parent.base]).length === 1) {
- var over = parent.data[parent.over], under = parent.data[parent.under];
- if (over && this === over.CoreMO() && parent.Get("accent")) {mapchars = SVG.FONTDATA.REMAPACCENT}
- else if (under && this === under.CoreMO() && parent.Get("accentunder")) {mapchars = SVG.FONTDATA.REMAPACCENTUNDER}
- }
- //
- // Primes must come from another font
- //
- if (isScript && this.data.join("").match(/['`"\u00B4\u2032-\u2037\u2057]/))
- {variant = SVG.FONTDATA.VARIANT["-"+SVG.fontInUse+"-variant"]}
- //
- // Typeset contents
- //
- for (var i = 0, m = this.data.length; i < m; i++) {
- if (this.data[i]) {
- var text = this.data[i].toSVG(variant,scale,this.remap,mapchars), x = svg.w;
- if (x === 0 && -text.l > 10*text.w) {x += -text.l} // initial combining character doesn't combine
- svg.Add(text,x,0,true);
- if (text.skew) {svg.skew = text.skew}
- }
- }
- svg.Clean();
- if (this.data.join("").length !== 1) {delete svg.skew}
- //
- // Handle large operator centering
- //
- if (values.largeop) {
- svg.y = SVG.TeX.axis_height - (svg.h - svg.d)/2/scale;
- if (svg.r > svg.w) {svg.ic = svg.r - svg.w; svg.w = svg.r}
- }
- //
- // Finish up
- //
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
- SVGcanStretch: function (direction) {
- if (!this.Get("stretchy")) {return false}
- var c = this.data.join("");
- if (c.length > 1) {return false}
- var parent = this.CoreParent();
- if (parent && parent.isa(MML.munderover) &&
- this.CoreText(parent.data[parent.base]).length === 1) {
- var over = parent.data[parent.over], under = parent.data[parent.under];
- if (over && this === over.CoreMO() && parent.Get("accent")) {c = SVG.FONTDATA.REMAPACCENT[c]||c}
- else if (under && this === under.CoreMO() && parent.Get("accentunder")) {c = SVG.FONTDATA.REMAPACCENTUNDER[c]||c}
- }
- c = SVG.FONTDATA.DELIMITERS[c.charCodeAt(0)];
- var can = (c && c.dir == direction.substr(0,1));
- if (!can) {delete this.svg}
- this.forceStretch = can && (this.Get("minsize",true) || this.Get("maxsize",true));
- return can;
- },
- SVGstretchV: function (h,d) {
- var svg = this.svg || this.toSVG();
- var values = this.getValues("symmetric","maxsize","minsize");
- var axis = SVG.TeX.axis_height*svg.scale, mu = this.SVGgetMu(svg), H;
- if (values.symmetric) {H = 2*Math.max(h-axis,d+axis)} else {H = h + d}
- values.maxsize = SVG.length2em(values.maxsize,mu,svg.h+svg.d);
- values.minsize = SVG.length2em(values.minsize,mu,svg.h+svg.d);
- H = Math.max(values.minsize,Math.min(values.maxsize,H));
- if (H != values.minsize)
- {H = [Math.max(H*SVG.TeX.delimiterfactor/1000,H-SVG.TeX.delimitershortfall),H]}
- svg = SVG.createDelimiter(this.data.join("").charCodeAt(0),H,svg.scale);
- if (values.symmetric) {H = (svg.h + svg.d)/2 + axis}
- else {H = (svg.h + svg.d) * h/(h + d)}
- svg.y = H - svg.h;
- this.SVGhandleSpace(svg);
- this.SVGhandleColor(svg);
- delete this.svg.element;
- this.SVGsaveData(svg);
- svg.stretched = true;
- return svg;
- },
- SVGstretchH: function (w) {
- var svg = this.svg || this.toSVG(), mu = this.SVGgetMu(svg);
- var values = this.getValues("maxsize","minsize","mathvariant","fontweight");
- // FIXME: should take style="font-weight:bold" into account as well
- if ((values.fontweight === "bold" || parseInt(values.fontweight) >= 600) &&
- !this.Get("mathvariant",true)) {values.mathvariant = MML.VARIANT.BOLD}
- values.maxsize = SVG.length2em(values.maxsize,mu,svg.w);
- values.minsize = SVG.length2em(values.minsize,mu,svg.w);
- w = Math.max(values.minsize,Math.min(values.maxsize,w));
- svg = SVG.createDelimiter(this.data.join("").charCodeAt(0),w,svg.scale,values.mathvariant);
- this.SVGhandleSpace(svg);
- this.SVGhandleColor(svg);
- delete this.svg.element;
- this.SVGsaveData(svg);
- svg.stretched = true;
- return svg;
- }
- });
-
- MML.mn.Augment({
- SVGremapMinus: function (text) {return text.replace(/^-/,"\u2212")},
- toSVG: function () {
- this.SVGgetStyles();
- var variant = this.SVGgetVariant();
- var svg = this.SVG(); this.SVGgetScale(svg);
- this.SVGhandleSpace(svg);
- var remap = this.SVGremapMinus;
- for (var i = 0, m = this.data.length; i < m; i++) {
- if (this.data[i]) {
- var child = svg.Add(this.data[i].toSVG(variant,svg.scale,remap),svg.w,0,true);
- if (child.skew) {svg.skew = child.skew}
- remap = null;
- }
- }
- svg.Clean(); var text = this.data.join("");
- if (svg.skew && text.length !== 1) {delete svg.skew}
- if (svg.r > svg.w && text.length === 1 && !variant.noIC)
- {svg.ic = svg.r - svg.w; svg.w = svg.r}
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
- }),
- MML.mtext.Augment({
- toSVG: function () {
- if (SVG.config.mtextFontInherit || this.Parent().type === "merror") {
- this.SVGgetStyles();
- var svg = this.SVG(), scale = this.SVGgetScale(svg);
- this.SVGhandleSpace(svg);
- var variant = this.SVGgetVariant(), def = {direction:this.Get("dir")};
- if (variant.bold) {def["font-weight"] = "bold"}
- if (variant.italic) {def["font-style"] = "italic"}
- variant = this.Get("mathvariant");
- if (variant === "monospace") {def["class"] = "MJX-monospace"}
- else if (variant.match(/sans-serif/)) {def["class"] = "MJX-sans-serif"}
- svg.Add(BBOX.TEXT(scale*100/SVG.config.scale,this.data.join(""),def)); svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- } else {
- return this.SUPER(arguments).toSVG.call(this);
- }
- }
- });
-
- MML.merror.Augment({
- toSVG: function (HW,D) {
- this.SVGgetStyles();
- var svg = this.SVG(), scale = SVG.length2em(this.styles.fontSize||1)/1000;
- this.SVGhandleSpace(svg);
- var def = (scale !== 1 ? {transform:"scale("+SVG.Fixed(scale)+")"} : {});
- var bbox = BBOX(def);
- bbox.Add(this.SVGchildSVG(0)); bbox.Clean();
- if (scale !== 1) {
- bbox.removeable = false;
- var adjust = ["w","h","d","l","r","D","H"];
- for (var i = 0, m = adjust.length; i < m; i++) {bbox[adjust[i]] *= scale}
- }
- svg.Add(bbox); svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
- SVGgetStyles: function () {
- var span = HTML.Element("span",{style: SVG.config.merrorStyle});
- this.styles = this.SVGprocessStyles(span.style);
- if (this.style) {
- span.style.cssText = this.style;
- HUB.Insert(this.styles,this.SVGprocessStyles(span.style));
- }
- }
- });
- MML.ms.Augment({toSVG: MML.mbase.SVGautoload});
- MML.mglyph.Augment({toSVG: MML.mbase.SVGautoload});
- MML.mspace.Augment({
- toSVG: function () {
- this.SVGgetStyles();
- var values = this.getValues("height","depth","width");
- values.mathbackground = this.mathbackground;
- if (this.background && !this.mathbackground) {values.mathbackground = this.background}
- var svg = this.SVG(); this.SVGgetScale(svg);
- var scale = this.mscale, mu = this.SVGgetMu(svg);
- svg.h = SVG.length2em(values.height,mu) * scale;
- svg.d = SVG.length2em(values.depth,mu) * scale;
- svg.w = svg.r = SVG.length2em(values.width,mu) * scale;
- if (svg.w < 0) {svg.x = svg.w; svg.w = svg.r = 0}
- if (svg.h < -svg.d) {svg.d = -svg.h}
- svg.l = 0; svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- }
- });
- MML.mphantom.Augment({
- toSVG: function (HW,D) {
- this.SVGgetStyles();
- var svg = this.SVG(); this.SVGgetScale(svg);
- if (this.data[0] != null) {
- this.SVGhandleSpace(svg); svg.Add(this.SVGdataStretched(0,HW,D)); svg.Clean();
- while (svg.element.firstChild) {svg.element.removeChild(svg.element.firstChild)}
- }
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- if (svg.removeable && !svg.element.firstChild) {delete svg.element}
- return svg;
- }
- });
- MML.mpadded.Augment({
- toSVG: function (HW,D) {
- this.SVGgetStyles();
- var svg = this.SVG();
- if (this.data[0] != null) {
- this.SVGgetScale(svg); this.SVGhandleSpace(svg);
- var pad = this.SVGdataStretched(0,HW,D), mu = this.SVGgetMu(svg);
- var values = this.getValues("height","depth","width","lspace","voffset"), X = 0, Y = 0;
- if (values.lspace) {X = this.SVGlength2em(pad,values.lspace,mu)}
- if (values.voffset) {Y = this.SVGlength2em(pad,values.voffset,mu)}
- var h = pad.h, d = pad.d, w = pad.w, y = pad.y; // these can change durring the Add()
- svg.Add(pad,X,Y); svg.Clean();
- svg.h = h+y; svg.d = d-y; svg.w = w; svg.removeable = false;
- if (values.height !== "") {svg.h = this.SVGlength2em(svg,values.height,mu,"h",0)}
- if (values.depth !== "") {svg.d = this.SVGlength2em(svg,values.depth,mu,"d",0)}
- if (values.width !== "") {svg.w = this.SVGlength2em(svg,values.width,mu,"w",0)}
- if (svg.h > svg.H) {svg.H = svg.h}; if (svg.d > svg.D) {svg.D = svg.d}
- }
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
- SVGlength2em: function (svg,length,mu,d,m) {
- if (m == null) {m = -SVG.BIGDIMEN}
- var match = String(length).match(/width|height|depth/);
- var size = (match ? svg[match[0].charAt(0)] : (d ? svg[d] : 0));
- var v = SVG.length2em(length,mu,size/this.mscale)*this.mscale;
- if (d && String(length).match(/^\s*[-+]/))
- {return Math.max(m,svg[d]+v)} else {return v}
- }
- });
- MML.mrow.Augment({
- SVG: BBOX.ROW,
- toSVG: function (h,d) {
- this.SVGgetStyles();
- var svg = this.SVG();
- this.SVGhandleSpace(svg);
- if (d != null) {svg.sh = h; svg.sd = d}
- for (var i = 0, m = this.data.length; i < m; i++)
- {if (this.data[i]) {svg.Check(this.data[i])}}
- svg.Stretch(); svg.Clean();
- if (this.data.length === 1 && this.data[0]) {
- var data = this.data[0].SVGdata;
- if (data.skew) {svg.skew = data.skew}
- }
- if (this.SVGlineBreaks(svg)) {svg = this.SVGmultiline(svg)}
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
- SVGlineBreaks: function (svg) {
- if (!this.parent.linebreakContainer) {return false}
- return (SVG.config.linebreaks.automatic &&
- svg.w > SVG.linebreakWidth) || this.hasNewline();
- },
- SVGmultiline: function (span) {MML.mbase.SVGautoloadFile("multiline")},
- SVGstretchH: function (w) {
- var svg = this.SVG();
- this.SVGhandleSpace(svg);
- for (var i = 0, m = this.data.length; i < m; i++)
- {svg.Add(this.SVGdataStretched(i,w),svg.w,0)}
- svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- }
- });
- MML.mstyle.Augment({
- toSVG: function () {
- this.SVGgetStyles();
- var svg = this.SVG();
- if (this.data[0] != null) {
- this.SVGhandleSpace(svg);
- var math = svg.Add(this.data[0].toSVG()); svg.Clean();
- if (math.ic) {svg.ic = math.ic}
- this.SVGhandleColor(svg);
- }
- this.SVGsaveData(svg);
- return svg;
- },
- SVGstretchH: function (w) {
- return (this.data[0] != null ? this.data[0].SVGstretchH(w) : BBOX.NULL());
- },
- SVGstretchV: function (h,d) {
- return (this.data[0] != null ? this.data[0].SVGstretchV(h,d) : BBOX.NULL());
- }
- });
- MML.mfrac.Augment({
- toSVG: function () {
- this.SVGgetStyles();
- var svg = this.SVG(), scale = this.SVGgetScale(svg);
- var frac = BBOX(); frac.scale = svg.scale; this.SVGhandleSpace(frac);
- var num = this.SVGchildSVG(0), den = this.SVGchildSVG(1);
- var values = this.getValues("displaystyle","linethickness","numalign","denomalign","bevelled");
- var isDisplay = values.displaystyle;
- var a = SVG.TeX.axis_height * scale;
- if (values.bevelled) {
- var delta = (isDisplay ? 400 : 150);
- var H = Math.max(num.h+num.d,den.h+den.d)+2*delta;
- var bevel = SVG.createDelimiter(0x2F,H);
- frac.Add(num,0,(num.d-num.h)/2+a+delta);
- frac.Add(bevel,num.w-delta/2,(bevel.d-bevel.h)/2+a);
- frac.Add(den,num.w+bevel.w-delta,(den.d-den.h)/2+a-delta);
- } else {
- var W = Math.max(num.w,den.w);
- var t = SVG.thickness2em(values.linethickness,this.scale)*this.mscale, p,q, u,v;
- var mt = SVG.TeX.min_rule_thickness/SVG.em * 1000;
- if (isDisplay) {u = SVG.TeX.num1; v = SVG.TeX.denom1}
- else {u = (t === 0 ? SVG.TeX.num3 : SVG.TeX.num2); v = SVG.TeX.denom2}
- u *= scale; v *= scale;
- if (t === 0) {// \atop
- p = Math.max((isDisplay ? 7 : 3) * SVG.TeX.rule_thickness, 2*mt); // force to at least 2 px
- q = (u - num.d) - (den.h - v);
- if (q < p) {u += (p - q)/2; v += (p - q)/2}
- frac.w = W; t = 0;
- } else {// \over
- p = Math.max((isDisplay ? 2 : 0) * mt + t, t/2 + 1.5*mt); // force to be at least 1.5px
- q = (u - num.d) - (a + t/2); if (q < p) {u += p - q}
- q = (a - t/2) - (den.h - v); if (q < p) {v += p - q}
- frac.Add(BBOX.RECT(t/2,t/2,W+2*t),0,a);
- }
- frac.Align(num,values.numalign,t,u);
- frac.Align(den,values.denomalign,t,-v);
- }
- frac.Clean(); svg.Add(frac,0,0); svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
- SVGcanStretch: function (direction) {return false},
- SVGhandleSpace: function (svg) {
- if (!this.texWithDelims) {
- //
- // Add nulldelimiterspace around the fraction
- // (TeXBook pg 150 and Appendix G rule 15e)
- //
- svg.x = svg.X = SVG.TeX.nulldelimiterspace * this.mscale;
- }
- this.SUPER(arguments).SVGhandleSpace.call(this,svg);
- }
- });
- MML.msqrt.Augment({
- toSVG: function () {
- this.SVGgetStyles();
- var svg = this.SVG(), scale = this.SVGgetScale(svg); this.SVGhandleSpace(svg);
- var base = this.SVGchildSVG(0), rule, surd;
- var t = SVG.TeX.rule_thickness * scale, p,q, H, x = 0;
- if (this.Get("displaystyle")) {p = SVG.TeX.x_height * scale} else {p = t}
- q = Math.max(t + p/4,1000*SVG.TeX.min_root_space/SVG.em);
- H = base.h + base.d + q + t;
- surd = SVG.createDelimiter(0x221A,H,scale);
- if (surd.h + surd.d > H) {q = ((surd.h+surd.d) - (H-t)) / 2}
- rule = BBOX.RECT(t,0,base.w);
- H = base.h + q + t;
- x = this.SVGaddRoot(svg,surd,x,surd.h+surd.d-H,scale);
- svg.Add(surd,x,H-surd.h);
- svg.Add(rule,x+surd.w,H-rule.h);
- svg.Add(base,x+surd.w,0);
- svg.Clean();
- svg.h += t; svg.H += t;
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- },
- SVGaddRoot: function (svg,surd,x,d,scale) {return x}
- });
- MML.mroot.Augment({
- toSVG: MML.msqrt.prototype.toSVG,
- SVGaddRoot: function (svg,surd,x,d,scale) {
- var dx = (surd.isMultiChar ? .55 : .65) * surd.w;
- if (this.data[1]) {
- var root = this.data[1].toSVG(); root.x = 0;
- var h = this.SVGrootHeight(surd.h+surd.d,scale,root)-d;
- var w = Math.min(root.w,root.r); // remove extra right-hand padding, if any
- x = Math.max(w,dx);
- svg.Add(root,x-w,h);
- } else {dx = x}
- return x - dx;
- },
- SVGrootHeight: function (d,scale,root) {
- return .45*(d-900*scale) + 600*scale + Math.max(0,root.d-75);
- }
- });
- MML.mfenced.Augment({
- SVG: BBOX.ROW,
- toSVG: function () {
- this.SVGgetStyles();
- var svg = this.SVG();
- this.SVGhandleSpace(svg);
- if (this.data.open) {svg.Check(this.data.open)}
- if (this.data[0] != null) {svg.Check(this.data[0])}
- for (var i = 1, m = this.data.length; i < m; i++) {
- if (this.data[i]) {
- if (this.data["sep"+i]) {svg.Check(this.data["sep"+i])}
- svg.Check(this.data[i]);
- }
- }
- if (this.data.close) {svg.Check(this.data.close)}
- svg.Stretch(); svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- }
- });
- MML.menclose.Augment({toSVG: MML.mbase.SVGautoload});
- MML.maction.Augment({toSVG: MML.mbase.SVGautoload});
- MML.semantics.Augment({
- toSVG: function () {
- this.SVGgetStyles();
- var svg = this.SVG();
- if (this.data[0] != null) {
- this.SVGhandleSpace(svg);
- svg.Add(this.data[0].toSVG()); svg.Clean();
- } else {svg.Clean()}
- this.SVGsaveData(svg);
- return svg;
- },
- SVGstretchH: function (w) {
- return (this.data[0] != null ? this.data[0].SVGstretchH(w) : BBOX.NULL());
- },
- SVGstretchV: function (h,d) {
- return (this.data[0] != null ? this.data[0].SVGstretchV(h,d) : BBOX.NULL());
- }
- });
- MML.munderover.Augment({
- toSVG: function (HW,D) {
- this.SVGgetStyles();
- 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.toSVG.call(this)}
- var svg = this.SVG(), scale = this.SVGgetScale(svg); this.SVGhandleSpace(svg);
- var boxes = [], stretch = [], box, i, m, W = -SVG.BIGDIMEN, WW = W;
- for (i = 0, m = this.data.length; i < m; i++) {
- if (this.data[i] != null) {
- if (i == this.base) {
- boxes[i] = this.SVGdataStretched(i,HW,D);
- stretch[i] = (D != null || HW == null) && this.data[i].SVGcanStretch("Horizontal");
- if (this.data[this.over] && values.accent) {
- boxes[i].h = Math.max(boxes[i].h,SVG.TeX.x_height); // min height of 1ex (#1706)
- }
- } else {
- boxes[i] = this.data[i].toSVG(); boxes[i].x = 0; delete boxes[i].X;
- stretch[i] = this.data[i].SVGcanStretch("Horizontal");
- }
- if (boxes[i].w > WW) {WW = boxes[i].w}
- if (!stretch[i] && WW > W) {W = WW}
- }
- }
- if (D == null && HW != null) {W = HW} else if (W == -SVG.BIGDIMEN) {W = WW}
- for (i = WW = 0, m = this.data.length; i < m; i++) {if (this.data[i]) {
- if (stretch[i]) {
- boxes[i] = this.data[i].SVGstretchH(W);
- if (i !== this.base) {boxes[i].x = 0; delete boxes[i].X}
- }
- if (boxes[i].w > WW) {WW = boxes[i].w}
- }}
- var t = SVG.TeX.rule_thickness * this.mscale;
- var x, y, z1, z2, z3, dw, k, delta = 0;
- base = boxes[this.base] || {w:0, h:0, d:0, H:0, D:0, l:0, r:0, y:0, scale:scale};
- if (base.ic) {delta = 1.3*base.ic + .05} // adjust faked IC to be more in line with expeted results
- for (i = 0, m = this.data.length; i < m; i++) {
- if (this.data[i] != null) {
- box = boxes[i];
- z3 = SVG.TeX.big_op_spacing5 * scale;
- var accent = (i != this.base && values[this.ACCENTS[i]]);
- if (accent && box.w <= 1) {
- box.x = -box.l;
- boxes[i] = BBOX.G().With({removeable: false});
- boxes[i].Add(box); boxes[i].Clean();
- boxes[i].w = -box.l; box = boxes[i];
- }
- dw = {left:0, center:(WW-box.w)/2, right:WW-box.w}[values.align];
- x = dw; y = 0;
- if (i == this.over) {
- if (accent) {
- k = t * scale; z3 = 0;
- if (base.skew) {
- x += base.skew; svg.skew = base.skew;
- if (x+box.w > WW) {svg.skew += (WW-box.w-x)/2}
- }
- } else {
- z1 = SVG.TeX.big_op_spacing1 * scale;
- z2 = SVG.TeX.big_op_spacing3 * scale;
- k = Math.max(z1,z2-Math.max(0,box.d));
- }
- k = Math.max(k,1500/SVG.em);
- x += delta/2; y = base.y + base.h + box.d + k;
- box.h += z3; if (box.h > box.H) {box.H = box.h}
- } else if (i == this.under) {
- if (accent) {
- k = 3*t * scale; z3 = 0;
- } else {
- z1 = SVG.TeX.big_op_spacing2 * scale;
- z2 = SVG.TeX.big_op_spacing4 * scale;
- k = Math.max(z1,z2-box.h);
- }
- k = Math.max(k,1500/SVG.em);
- x -= delta/2; y = base.y -(base.d + box.h + k);
- box.d += z3; if (box.d > box.D) {box.D = box.d}
- }
- svg.Add(box,x,y);
- }
- }
- svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- }
- });
- MML.msubsup.Augment({
- toSVG: function (HW,D) {
- this.SVGgetStyles();
- var svg = this.SVG(), scale = this.SVGgetScale(svg); this.SVGhandleSpace(svg);
- var mu = this.SVGgetMu(svg);
- var base = svg.Add(this.SVGdataStretched(this.base,HW,D));
- var sscale = (this.data[this.sup] || this.data[this.sub] || this).SVGgetScale();
- var x_height = SVG.TeX.x_height * scale, s = SVG.TeX.scriptspace * scale;
- var sup, sub;
- if (this.SVGnotEmpty(this.data[this.sup])) {
- sup = this.data[this.sup].toSVG();
- sup.w += s; sup.r = Math.max(sup.w,sup.r);
- }
- if (this.SVGnotEmpty(this.data[this.sub])) {
- sub = this.data[this.sub].toSVG();
- sub.w += s; sub.r = Math.max(sub.w,sub.r);
- }
- var q = SVG.TeX.sup_drop * sscale, r = SVG.TeX.sub_drop * sscale;
- var u = base.h+(base.y||0) - q, v = base.d-(base.y||0) + r, delta = 0, p;
- if (base.ic) {
- base.w -= base.ic; // remove IC (added by mo and mi)
- delta = 1.3*base.ic+.05; // adjust faked IC to be more in line with expeted results
- }
- if (this.data[this.base] &&
- (this.data[this.base].type === "mi" || this.data[this.base].type === "mo")) {
- if (this.data[this.base].data.join("").length === 1 && base.scale === 1 &&
- !base.stretched && !this.data[this.base].Get("largeop")) {u = v = 0}
- }
- var min = this.getValues("subscriptshift","superscriptshift");
- min.subscriptshift = (min.subscriptshift === "" ? 0 : SVG.length2em(min.subscriptshift,mu));
- min.superscriptshift = (min.superscriptshift === "" ? 0 : SVG.length2em(min.superscriptshift,mu));
- var x = base.w + base.x;
- if (!sup) {
- if (sub) {
- v = Math.max(v,SVG.TeX.sub1*scale,sub.h-(4/5)*x_height,min.subscriptshift);
- svg.Add(sub,x,-v); this.data[this.sub].SVGdata.dy = -v;
- }
- } else {
- if (!sub) {
- var values = this.getValues("displaystyle","texprimestyle");
- p = SVG.TeX[(values.displaystyle ? "sup1" : (values.texprimestyle ? "sup3" : "sup2"))];
- u = Math.max(u,p*scale,sup.d+(1/4)*x_height,min.superscriptshift);
- svg.Add(sup,x+delta,u);
- this.data[this.sup].SVGdata.dx = delta;
- this.data[this.sup].SVGdata.dy = u;
- } else {
- v = Math.max(v,SVG.TeX.sub2*scale);
- var t = SVG.TeX.rule_thickness * scale;
- if ((u - sup.d) - (sub.h - v) < 3*t) {
- v = 3*t - u + sup.d + sub.h;
- q = (4/5)*x_height - (u - sup.d);
- if (q > 0) {u += q; v -= q}
- }
- svg.Add(sup,x+delta,Math.max(u,min.superscriptshift));
- svg.Add(sub,x,-Math.max(v,min.subscriptshift));
- this.data[this.sup].SVGdata.dx = delta;
- this.data[this.sup].SVGdata.dy = Math.max(u,min.superscriptshift);
- this.data[this.sub].SVGdata.dy = -Math.max(v,min.subscriptshift);
- }
- }
- svg.Clean();
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- }
- });
- MML.mmultiscripts.Augment({toSVG: MML.mbase.SVGautoload});
- MML.mtable.Augment({toSVG: MML.mbase.SVGautoload});
- MML["annotation-xml"].Augment({toSVG: MML.mbase.SVGautoload});
- MML.math.Augment({
- SVG: BBOX.Subclass({type:"svg", removeable: false}),
- toSVG: function (span,div) {
- var CONFIG = SVG.config;
- //
- // All the data should be in an inferrerd row
- //
- if (this.data[0]) {
- this.SVGgetStyles();
- MML.mbase.prototype.displayAlign = HUB.config.displayAlign;
- MML.mbase.prototype.displayIndent = HUB.config.displayIndent;
- if (String(HUB.config.displayIndent).match(/^0($|[a-z%])/i))
- MML.mbase.prototype.displayIndent = "0";
- //
- // Put content in a <g> with defaults and matrix that flips y axis.
- // Put that in an <svg> with xlink defined.
- //
- var box = BBOX.G(); box.Add(this.data[0].toSVG(),0,0,true); box.Clean();
- this.SVGhandleColor(box);
- SVG.Element(box.element,{
- stroke:"currentColor", fill:"currentColor", "stroke-width":0,
- transform: "matrix(1 0 0 -1 0 0)"
- });
- box.removeable = false;
- var svg = this.SVG();
- svg.element.setAttribute("xmlns:xlink",XLINKNS);
- if (CONFIG.useFontCache && !CONFIG.useGlobalCache)
- {svg.element.appendChild(BBOX.GLYPH.defs)}
- svg.Add(box); svg.Clean();
- this.SVGsaveData(svg);
- //
- // If this element is not the top-level math element
- // remove the transform and return the svg object
- // (issue #614).
- //
- if (!span) {
- svg.element = svg.element.firstChild; // remove <svg> element
- svg.element.removeAttribute("transform");
- svg.removable = true;
- return svg;
- }
- //
- // Style the <svg> to get the right size and placement
- //
- var l = Math.max(-svg.l,0), r = Math.max(svg.r-svg.w,0);
- var style = svg.element.style, px = SVG.TeX.x_height/SVG.ex;
- var H = (Math.ceil(svg.H/px)+1)*px+SVG.HFUZZ, // round to pixels and add padding
- D = (Math.ceil(svg.D/px)+1)*px+SVG.DFUZZ;
- var w = l + svg.w + r;
- svg.element.setAttribute("width",SVG.Ex(w));
- svg.element.setAttribute("height",SVG.Ex(H+D));
- style.verticalAlign = SVG.Ex(-D);
- if (l) style.marginLeft = SVG.Ex(-l);
- if (r) style.marginRight = SVG.Ex(-r);
- svg.element.setAttribute("viewBox",SVG.Fixed(-l,1)+" "+SVG.Fixed(-H,1)+" "+
- SVG.Fixed(w,1)+" "+SVG.Fixed(H+D,1));
- //
- // If there is extra height or depth, hide that
- //
- if (svg.H > svg.h) style.marginTop = SVG.Ex(svg.h-H);
- if (svg.D > svg.d) {
- style.marginBottom = SVG.Ex(svg.d-D);
- style.verticalAlign = SVG.Ex(-svg.d);
- }
- //
- // The approximate ex can cause full-width equations to be too wide,
- // so if they are close to full width, make sure they aren't too big.
- //
- if (Math.abs(w-SVG.cwidth) < 10)
- style.maxWidth = SVG.Fixed(SVG.cwidth*SVG.em/1000);
- //
- // Add it to the MathJax span
- //
- var alttext = this.Get("alttext");
- if (alttext && !svg.element.getAttribute("aria-label")) svg.element.setAttribute("aria-label",alttext);
- if (!svg.element.getAttribute("role")) svg.element.setAttribute("role","img");
- svg.element.setAttribute("focusable","false");
- span.appendChild(svg.element);
- svg.element = null;
- //
- // Handle indentalign and indentshift for single-line displays
- //
- if (!this.isMultiline && this.Get("display") === "block" && !svg.hasIndent) {
- 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 = this.displayAlign}
- if (values.indentshiftfirst !== MML.INDENTSHIFT.INDENTSHIFT) {values.indentshift = values.indentshiftfirst}
- if (values.indentshift === "auto") {values.indentshift = "0"}
- var shift = SVG.length2em(values.indentshift,1,SVG.cwidth);
- if (this.displayIndent !== "0") {
- var indent = SVG.length2em(this.displayIndent,1,SVG.cwidth);
- shift += (values.indentalign === MML.INDENTALIGN.RIGHT ? -indent : indent);
- }
- div.style.textAlign = values.indentalign;
- if (shift) {
- HUB.Insert(style,({
- left: {marginLeft: SVG.Ex(shift)},
- right: {marginRight: SVG.Ex(-shift), marginLeft: SVG.Ex(Math.max(0,shift-w))},
- center: {marginLeft: SVG.Ex(shift), marginRight: SVG.Ex(-shift)}
- })[values.indentalign]);
- }
- }
- }
- return span;
- }
- });
- MML.TeXAtom.Augment({
- toSVG: function (HW,D) {
- this.SVGgetStyles();
- var svg = this.SVG();
- this.SVGhandleSpace(svg);
- if (this.data[0] != null) {
- var box = this.SVGdataStretched(0,HW,D), y = 0;
- if (this.texClass === MML.TEXCLASS.VCENTER)
- {y = SVG.TeX.axis_height - (box.h+box.d)/2 + box.d}
- svg.Add(box,0,y);
- svg.ic = box.ic; svg.skew = box.skew;
- }
- this.SVGhandleColor(svg);
- this.SVGsaveData(svg);
- return svg;
- }
- });
- //
- // Make sure these don't generate output
- //
- MML.maligngroup.Augment({toSVG: MML.mbase.SVGemptySVG});
- MML.malignmark.Augment({toSVG: MML.mbase.SVGemptySVG});
- MML.mprescripts.Augment({toSVG: MML.mbase.SVGemptySVG});
- MML.none.Augment({toSVG: MML.mbase.SVGemptySVG});
- //
- // 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 SVG'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.
- //
- HUB.Register.StartupHook("onLoad",function () {
- setTimeout(MathJax.Callback(["loadComplete",SVG,"jax.js"]),0);
- });
- });
- HUB.Browser.Select({
- Opera: function (browser) {
- SVG.Augment({
- operaZoomRefresh: true // Opera needs a kick to redraw zoomed equations
- });
- }
- });
-
- HUB.Register.StartupHook("End Cookie", function () {
- if (HUB.config.menuSettings.zoom !== "None")
- {AJAX.Require("[MathJax]/extensions/MathZoom.js")}
- });
-
- if (!document.createElementNS) {
- //
- // Try to handle SVG in IE8 and below, but fail
- // (but don't crash on loading the file, so no delay for loadComplete)
- //
- if (!document.namespaces.svg) {document.namespaces.add("svg",SVGNS)}
- SVG.Augment({
- Element: function (type,def) {
- var obj = (typeof(type) === "string" ? document.createElement("svg:"+type) : type);
- obj.isMathJax = true;
- if (def) {for (var id in def) {if (def.hasOwnProperty(id)) {obj.setAttribute(id,def[id].toString())}}}
- return obj;
- }
- });
- }
-
- })(MathJax.Ajax, MathJax.Hub, MathJax.HTML, MathJax.OutputJax.SVG);
|