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

[Eli Zaretskii]

> From: Juri Linkov <juri@linkov.net>
> Cc: Eli Zaretskii <eliz@gnu.org>,  larsi@gnus.org,  emacs-devel@gnu.org
> Date: Wed, 10 Mar 2021 21:50:51 +0200
> 
> > What do you think of something like:
> >
> >      :background "grey92" :foreground "DarkBlue"
> >      :box (:line-width 1 :color "grey80"))
> >
> > On my screen, this is legible.  The DarkBlue and border makes it at the
> > same time stand out as highlighted.

Doesn't using :box cause a small 2-pixel rise of the mode line?  If it
does, that could be regarded as annoyance by some users, because the
text above the mode line might scroll.