Re: Info faces

[Eli Zaretskii]

> From: Miles Bader <address@hidden>
> Date: Wed, 18 Oct 2000 15:42:35 +0900 (JST)
> 
> > > Given the extreme lack of colors in this case, how about just rotating
> > > the set, so --
> > > 
> > >   Info-title-1-face   --  yellow + bold
> > >   Info-title-2-face   --  light blue + bold
> > >   Info-title-3-face   --  just bold
> > 
> > That would be acceptable, too, I think, if the suggestion above
> > doesn't work.
> 
> The red on my console is rather less bright than yellow, so I would vote
> for this.

Okay, but it still leaves me with the the problem of
Info-title-2-face: I actually wanted to get "blue1" there, not
"lightblue" in its rgb.txt interpretation, because the latter maps to
cyan, which I think might be unpleasant on light-background tty's.  Is
"blue1" okay for Info-title-2-face?