Re: Why is the star in front of every info item sometimes black and sometimes red?

[Hongyi Zhao]

On Fri, Dec 10, 2021 at 8:51 AM Michael Heerdegen
<michael_heerdegen@web.de> wrote:
>
> Hongyi Zhao <hongyi.zhao@gmail.com> writes:
>
> > As you can see, there is a star before each info entry, as shown here
> > [1]. But some stars are black, others are red. Does this mean anything
> > special?
>
> When I look up the face I get:
>
> | Face: info-menu-star
> |
> | Documentation:
> | Face used to emphasize `*' in an Info menu.
> | The face is assigned to the third, sixth, and ninth `*' for easier
> | orientation.  See `Info-nth-menu-item'.

But there is no mention of using specific colors as indicators.