www

commit 8f9d982af633aad535c4ca53cb2a5db23352447b
parent cd235d5b0e29d001db8f2463785920f3208dc7b7
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sat, 24 Jan 2015 05:15:21 -0500

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.)

Diffstat:
M
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
@@ -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;