From 3d4bc8cd0f6d76800cea1f0ab0a0b8cc73a2b7e8 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 26 Aug 2015 06:39:23 -0400
Subject: [PATCH] Handle indentshift properly in HTML-CSS output (don't need to
 scale it)

---
 unpacked/jax/output/HTML-CSS/jax.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index 1a99295d4..f592bc946 100644
--- 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)},