diff man/info.texi @ 63055:1fefd865fb18

(Info-title-1-face): Use green instead of yellow because bold yellow is not readable on light backgrounds.
author Juri Linkov <juri@jurta.org>
date Mon, 06 Jun 2005 12:26:07 +0000
parents 9279048e751a
children 138636408bb3 d83f49cefda3 ff0e824afa37
line wrap: on
line diff