correct scaling of HTML-format colours