https://bugzilla.wikimedia.org/show_bug.cgi?id=32694
--- Comment #17 from Gabriel Wicke <[email protected]> --- This patch seems to improve the baseline situation: diff --git a/node_modules/mathjax/unpacked/jax/output/SVG/jax.js b/node_modules/mathjax/unpacked/jax/output/SVG/jax.js index 4045a1e..e516a75 100644 --- a/node_modules/mathjax/unpacked/jax/output/SVG/jax.js +++ b/node_modules/mathjax/unpacked/jax/output/SVG/jax.js @@ -2042,11 +2042,11 @@ var style = svg.element.style; svg.element.setAttribute("width",SVG.Ex(l+svg.w+r)); svg.element.setAttribute("height",SVG.Ex(svg.H+svg.D+2*SVG.em)); - style.verticalAlign = SVG.Ex(-svg.D-2*SVG.em); // remove extra pixel added below plus padding from above + style.verticalAlign = SVG.Ex(-svg.D); // remove extra pixel added below plus padding from above style.marginLeft = SVG.Ex(-l); style.marginRight = SVG.Ex(-r); svg.element.setAttribute("viewBox",SVG.Fixed(-l,1)+" "+SVG.Fixed(-svg.H-SVG.em,1)+" "+ SVG.Fixed(l+svg.w+r,1)+" "+SVG.Fixed(svg.H+svg.D+2*SVG.em,1)); - style.marginTop = style.marginBottom = "1px"; // 1px above and below to prevent lines from touching + //style.marginTop = style.marginBottom = "1px"; // 1px above and below to prevent lines from touching // // If there is extra height or depth, hide that // The ex size of the generated SVG is still larger than the surrounding font, and the passed-in ex option does not seem to work. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
