From 81cec74252b1b7496a17169dbeeeb840db7b4dd0 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sun, 4 May 2014 15:23:50 -0400
Subject: [PATCH] Fix scaling problem with mpadded.

---
 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
index 3a40d875a..df0572b9d 100644
--- 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;