css colorization fix

suggestion of @itoshkov