fix wrong formatting of CSS-style colors