Documentation
Commentary
This is a modern adaption of the extra coloring provided by Drew
Adams' `info+' package.
To enable this:
(add-hook 'Info-selection-hook 'info-colors-fontify-node)
Consumers
Reverse Dependencies
No reverse dependencies recorded.