suzanne.soy/scribble-math
1
0
Fork 0
Code Issues 8 Pull Requests 3 Actions Packages Projects Releases Wiki Activity

Adjust for extra pixels above and below (now that they are added to the SVG object), and remove font-size CSS since it is handled in the scaling of the text by hand.

Browse Source
This commit is contained in:
Davide P. Cervone 2012-02-05 19:23:35 -05:00
parent 0a070ff628
commit fc4ce3748f
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
config/TeX-AMS-MML_SVG-full.js
View File

File diff suppressed because one or more lines are too long

2
jax/output/SVG/jax.js
View File

File diff suppressed because one or more lines are too long

5
unpacked/jax/output/SVG/jax.js
View File

@ -1013,6 +1013,7 @@
var style = this.Get("style");
if (style) {
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 === ""}
}
@ -1820,10 +1821,10 @@
var style = svg.element.style;
style.width = SVG.Ex(l+svg.w+r);
style.height = SVG.Ex(svg.H+svg.D);
style.verticalAlign = SVG.Ex(-svg.D);
style.verticalAlign = SVG.Ex(-svg.D-2*SVG.em); // remove 2 extra pixels added below
style.marginLeft = SVG.Ex(-l); style.marginRight = SVG.Ex(-r);
svg.element.setAttribute("viewBox",(-l)+" "+(-svg.H)+" "+(l+svg.w+r)+" "+(svg.H+svg.D));
svg.element.style.margin="1px 0px";
svg.element.style.margin="1px 0px"; // 1px above and below to prevent lines from touching
//
// If there is extra height or depth, hide that
//