-
Miles Bader authored
(Info-fontify-menu-headers): New function. (Info-fontify-node, Info-insert-dir): Call `Info-fontify-menu-headers'.
973a3104
(Info-fontify-menu-headers): New function. (Info-fontify-node, Info-insert-dir): Call `Info-fontify-menu-headers'.