Fixing Ace CC color-propagation bug in Firefox