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

Fix depth of horizontal stretchy characters to match HTML-CSS (should be based on extender as originally done, but font metrics don't really work for that with minus sign for arrows, for example).

Browse Source
This commit is contained in:
Davide P. Cervone 2015-08-02 17:16:15 -04:00
parent 26ebc33c37
commit 5c333a8b47
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
unpacked/jax/output/CommonHTML/jax.js
View File

@ -1075,7 +1075,7 @@
hbox.t = hbox.h; hbox.b = hbox.d; hbox.t = hbox.h; hbox.b = hbox.d;
if (hbox.h !== ebox.h) node.style.marginTop = CHTML.Em(ebox.h - hbox.h); if (hbox.h !== ebox.h) node.style.marginTop = CHTML.Em(ebox.h - hbox.h);
if (hbox.d !== ebox.d) node.style.marginBottom = CHTML.Em(ebox.d - hbox.d); if (hbox.d !== ebox.d) node.style.marginBottom = CHTML.Em(ebox.d - hbox.d);
hbox.h = ebox.h; hbox.d = ebox.d; // hbox.h = ebox.h; hbox.d = ebox.d;
if (BBOX) {hbox.scale = BBOX.scale; hbox.rscale = BBOX.rscale} if (BBOX) {hbox.scale = BBOX.scale; hbox.rscale = BBOX.rscale}
return hbox; return hbox;
}, },
@ -1100,22 +1100,22 @@
for (var i = 0, m = data[0].length; i < m; i++) text += String.fromCharCode(data[0][i]); for (var i = 0, m = data[0].length; i < m; i++) text += String.fromCharCode(data[0][i]);
} else text = String.fromCharCode(data[0]); } else text = String.fromCharCode(data[0]);
if (data[4]) scale *= data[4]; if (data[4]) scale *= data[4];
if (scale !== 1) node.style.fontSize = this.Percent(scale); var bbox = this.handleText(node,text,variant), style = node.firstChild.style;
var bbox = this.handleText(node,text,variant); if (scale !== 1) style.fontSize = this.Percent(scale);
if (data[2]) { // x offset if (data[2]) { // x offset
node.style.paddingLeft = this.Em(data[2]); style.paddingLeft = this.Em(data[2]);
bbox.w += data[2]; bbox.r += data[2]; bbox.w += data[2]; bbox.r += data[2];
} }
if (data[3]) { // y offset if (data[3]) { // y offset
node.style.verticalAlign = this.Em(data[3]); style.verticalAlign = this.Em(data[3]);
bbox.h += data[3]; if (bbox.h < 0) bbox.h = 0; bbox.h += data[3]; if (bbox.h < 0) bbox.h = 0;
} }
if (data[5]) { // extra height if (data[5]) { // extra height
node.style.marginTop = this.Em(data[5]); style.marginTop = this.Em(data[5]);
bbox.h += data[5]; bbox.t += data[5]; bbox.h += data[5]; bbox.t += data[5];
} }
if (data[6]) { // extra depth if (data[6]) { // extra depth
node.style.marginBottom = this.Em(data[6]); style.marginBottom = this.Em(data[6]);
bbox.d += data[6]; bbox.b += data[6]; bbox.d += data[6]; bbox.b += data[6];
} }
return bbox; return bbox;