www

commit 08cb7160f5b39866c126407107a104ed75701517
parent cb5df6ef2f628dff433b214b6bc9144ce06ed8ac
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu, 22 Jan 2015 10:15:12 -0500

Fix scaling of indentshift in HTML-CSS; since is outside the font-size change, it doesn't need HTMLCSS.scale.

Diffstat:
M
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
@@ -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)},