On Mon, Oct 7, 2019 at 9:02 PM Juri Linkov <
address@hidden> 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.