www

commit 3d4bc8cd0f6d76800cea1f0ab0a0b8cc73a2b7e8
parent b06c7a5f20e4410fd98ef5058fb72410813ca8ae
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed, 26 Aug 2015 06:39:23 -0400

Handle indentshift properly in HTML-CSS output (don't need to scale it)

Diffstat:
M
unpacked/jax/output/HTML-CSS/jax.js
 | 
1
-

1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2943,7 +2943,6 @@
             node.style.textAlign = values.indentalign;
             // ### FIXME: make percentage widths respond to changes in container
             if (shift) {
-              shift *= HTMLCSS.scale;
               HUB.Insert(span.style,({
                 left: {marginLeft: HTMLCSS.Em(shift)},
                 right: {marginRight: HTMLCSS.Em(-shift)},