On Mon, Oct 7, 2019 at 9:02 PM Juri Linkov <juri@linkov.net> wrote:

> Please set some nice default colors to new faces, something like
> “grey80” or “grey85”, so after users customize numeric options, the
> result of customization can be seen immediately, and default colors
> could be tweaked later.

Done. Feel free to change them for better defaults.