commit 0ebff03dc1df2f41d7f77dec7577180968533a4c
parent 7d9db89c8b9a939e4dbc96227b6c2a1f5cbb6cc6
Author: Davide P. Cervone <dpvc@union.edu>
Date: Tue, 27 May 2014 15:18:55 -0400
Merge branch 'issue820' into v2.4-beta. Issue #820.
Diffstat:
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
@@ -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 () {