From 4e3977082da8b838a93208947aa43618859c5131 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Thu, 22 May 2014 19:43:30 -0400
Subject: [PATCH] Remove fonts from default VARIANT values, which where causing
 -smallOP to no inherit the normal fonts; this caused \int in STIX (and other
 fonts) not to be found, and so default to unknown character bboxes.  Resolves
 issue #820.

---
 unpacked/jax/output/HTML-CSS/jax.js | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index f1a61a225..48479eead 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -384,10 +384,8 @@
     FONTDATA: {
       TeX_factor: 1, baselineskip: 1.2, lineH: .8, lineD: .2, ffLineH: .8,
       FONTS: {},
-      VARIANT: {
-        "normal": {fonts:[]}, "-generic-variant": {fonts:[]},
-        "-largeOp": {fonts:[]}, "-smallOp": {fonts:[]}
-      }, RANGES: [], DELIMITERS: {}, RULECHAR: 0x2D, REMAP: {}
+      VARIANT: {"normal": {fonts:[]}, "-generic-variant": {}, "-largeOp": {}, "-smallOp": {}},
+      RANGES: [], DELIMITERS: {}, RULECHAR: 0x2D, REMAP: {}
     },
 
     Config: function () {