diff man/display.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 e2ddd55fafc1
children f3551fda8850 5b029ff3b08d
line wrap: on
line diff