Face: info-menu-header

Face for headers in Info menus.