I would rather use a fixed HTML color value like just ``red`` (symbolic name AFAIK) to be sure we don't mess with the users OS theme.