From 8f9d982af633aad535c4ca53cb2a5db23352447b Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sat, 24 Jan 2015 05:15:21 -0500 Subject: [PATCH] Scale displayIndent to HTML size, since the shift is outside the font-size scaling. This was required by the change to issue 769. (Issue #768.) --- unpacked/jax/output/HTML-CSS/jax.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js index 6c604da3f..523ab469e 100644 --- a/unpacked/jax/output/HTML-CSS/jax.js +++ b/unpacked/jax/output/HTML-CSS/jax.js @@ -2882,9 +2882,9 @@ 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 = HTMLCSS.length2em(values.indentshift,1,HTMLCSS.cwidth); + var shift = HTMLCSS.length2em(values.indentshift,1,HTMLCSS.scale*HTMLCSS.cwidth); if (this.displayIndent !== "0") { - var indent = HTMLCSS.length2em(this.displayIndent,1,HTMLCSS.cwidth); + var indent = HTMLCSS.length2em(this.displayIndent,1,HTMLCSS.scale*HTMLCSS.cwidth); shift += (values.indentalign === MML.INDENTALIGN.RIGHT ? -indent : indent); } node.style.textAlign = values.indentalign;