(Info-fontify-node): For menu items, use info-xref font.
Use info-node font for the node's own name, and do not make it mouse-sensitive. (Info-find-node): Update Info-history after switching buffer. (info): If no arg, and *info* buffer exists, just go to it and don't alter it.
Showing with 25 additions and 19 deletions