From edc2618568ff28fae5e0d0ff520e4e736432ae70 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 12 Jul 2016 11:50:51 -0400
Subject: [PATCH] Don't use getComputedStyle() if it is not available (fake
 styles).

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

diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js
index 3b6f575ee..a7e2b9e99 100644
--- a/unpacked/extensions/MathMenu.js
+++ b/unpacked/extensions/MathMenu.js
@@ -314,7 +314,7 @@
       if (menu.offsetWidth) menu.style.width = (menu.offsetWidth+2) + "px";
       var x = event.pageX, y = event.pageY;
       var bbox = document.body.getBoundingClientRect();
-      var styles = window.getComputedStyle(document.body);
+      var styles = (window.getComputedStyle ? window.getComputedStyle(document.body) : {marginLeft: "0px"});
       var bodyRight = bbox.right - Math.min(0,bbox.left) + parseFloat(styles.marginLeft);
       if (!x && !y && "clientX" in event) {
         x = event.clientX + document.body.scrollLeft + document.documentElement.scrollLeft;