Re: Consistent face for keys in *Help* and `substitute-command-keys'

[Juri Linkov]

>> I suppose DarkBlue is intended to make it look more like a link when
>> help-link-key-to-documentation is non-nil?
>
> Something like that, yes.
>
> Mostly I just wanted to make it brighter without making it more grey,
> i.e. "highlight" it more.  Blue seemed a non-opinionated choice, as we
> already have some blue in the help buffer, and yes it also makes sense
> due to the planned linking.

Now that we have a clearly visible border, it's possible to use
the background that you proposed earlier - grey95 that looks nicer
when there is already heavy highlighting with a border and blue foreground.

BTW, after the recent change of adding a border to widget-field,
its border is indistinguishable from the background color.
It would help to make the border color slightly darker, e.g. gray70.