From 8623acf05ad563edc767112bba902b0e005ac4bd Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sun, 22 Feb 2015 10:41:13 -0500
Subject: [PATCH] Support old-style background and color attributes

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

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index 35cc7dbea..7f542a4f7 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -584,7 +584,9 @@
 
       CHTMLhandleColor: function (span) {
         if (this.mathcolor) {span.style.color = this.mathcolor}
+          else if (this.color) {span.style.color = this.color}
         if (this.mathbackground) {span.style.backgroundColor = this.mathbackground}
+          else if (this.background) {span.style.backgroundColor = this.background}
       },
 
       CHTMLhandleScriptlevel: function (span) {