Face: Info-title-3-face

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