Face: Info-title-4-face

Info-title-4-face is an alias for the face `info-title-4'.
Face for info titles at level 4.