From 966444bc3105366eec2d8ebbc98d65426b9a8dff Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sat, 22 Aug 2015 12:13:15 -0400
Subject: [PATCH] Fix zoom scaling, and fix handling over overlaps on top and
 bottom

---
 unpacked/jax/output/CommonHTML/jax.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index 660653c30..7924bf508 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -497,7 +497,7 @@
     getMetrics: function(jax) {
       var data = jax.CHTML;
       this.jax = jax;
-      this.em = data.em; 
+      this.em = data.em;
       this.outerEm = data.outerEm;
       this.scale = data.scale;
       this.cwidth = data.cwidth;
@@ -574,14 +574,14 @@
       //  Re-render at larger size
       //
       this.getMetrics(jax);
-      var node = HTML.addElement(span,"mjx-chtml");
+      var node = HTML.addElement(span,"mjx-chtml",{style:{"font-size":Math.floor(CHTML.scale*100)+"%"}});
       this.idPostfix = "-zoom"; jax.root.toCommonHTML(node); this.idPostfix = "";
       //
       //  Adjust margins to prevent overlaps at the edges
       //
       var style = node.style, bbox = jax.root.CHTML;
-      if (bbox.t > bbox.h) style.marginTop = CHTML.Em(bbox.t-Math.max(bbox.h,CHTML.FONTDATA.lineH));
-      if (bbox.b > bbox.d) style.marginBottom = CHTML.Em(bbox.b-Math.max(bbox.d,CHTML.FONTDATA.lineD));
+      if (bbox.t > bbox.h) style.marginTop = CHTML.Em(bbox.t-bbox.h);
+      if (bbox.b > bbox.d) style.marginBottom = CHTML.Em(bbox.b-bbox.d);
       if (bbox.l < 0) style.paddingLeft = CHTML.Em(-bbox.l);
       if (bbox.r > bbox.w) style.marginRight = CHTML.Em(bbox.r-bbox.w);
       //