From d2620501da3b58d692534601c89915acfd797a88 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Fri, 11 Apr 2014 07:36:40 -0400
Subject: [PATCH] Get border size properly in IE < 10.

---
 unpacked/extensions/MathZoom.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unpacked/extensions/MathZoom.js b/unpacked/extensions/MathZoom.js
index 42d3df73a..ac1555536 100644
--- a/unpacked/extensions/MathZoom.js
+++ b/unpacked/extensions/MathZoom.js
@@ -154,7 +154,7 @@
       var zoom = div.lastChild, span = zoom.firstChild, overlay = div.firstChild;
       math.parentNode.insertBefore(div,math); math.parentNode.insertBefore(math,div); // put div after math
       if (span.addEventListener) {span.addEventListener("mousedown",this.Remove,true)}
-      var eW = zoom.offsetWidth; Mw -= eW; Mh -= eW;
+      var eW = zoom.offsetWidth || zoom.clientWidth; Mw -= eW; Mh -= eW;
       zoom.style.maxWidth = Mw+"px"; zoom.style.maxHeight = Mh+"px";
 
       if (this.msieTrapEventBug) {