www

commit 81cec74252b1b7496a17169dbeeeb840db7b4dd0
parent 061fe3488b011110485cb6cacc1f4cc01bab4446
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sun,  4 May 2014 15:23:50 -0400

Fix scaling problem with mpadded.

Diffstat:
M
unpacked/jax/output/SVG/jax.js
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
@@ -1565,7 +1565,8 @@
 	var values = this.getValues("height","depth","width");
 	values.mathbackground = this.mathbackground;
 	if (this.background && !this.mathbackground) {values.mathbackground = this.background}
-        var svg = this.SVG(), scale = this.SVGgetScale(svg), mu = this.SVGgetMu(svg); 
+        var svg = this.SVG(); this.SVGgetScale(svg);
+        var scale = this.mscale, mu = this.SVGgetMu(svg); 
 	svg.h = SVG.length2em(values.height,mu) * scale;
         svg.d = SVG.length2em(values.depth,mu)  * scale;
 	svg.w = svg.r = SVG.length2em(values.width,mu) * scale;