Face: info-menu-5

info-menu-5 is an alias for the face `info-menu-star'.
Face for every third `*' in an Info menu.