From 08cb7160f5b39866c126407107a104ed75701517 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Thu, 22 Jan 2015 10:15:12 -0500 Subject: [PATCH] Fix scaling of indentshift in HTML-CSS; since is outside the font-size change, it doesn't need HTMLCSS.scale. --- unpacked/jax/output/HTML-CSS/jax.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js index e21f4c7ca..01cce403c 100644 --- a/unpacked/jax/output/HTML-CSS/jax.js +++ b/unpacked/jax/output/HTML-CSS/jax.js @@ -2890,7 +2890,7 @@ node.style.textAlign = values.indentalign; // ### FIXME: make percentage widths respond to changes in container if (shift) { - shift *= HTMLCSS.scale * HTMLCSS.em/HTMLCSS.outerEm; + shift *= HTMLCSS.em/HTMLCSS.outerEm; HUB.Insert(span.style,({ left: {marginLeft: HTMLCSS.Em(shift)}, right: {marginLeft: HTMLCSS.Em(Math.max(0,span.bbox.w+shift)), marginRight: HTMLCSS.Em(-shift)},