-
Juri Linkov authored
for dark backgrounds instead of dark color `magenta3'. (info-title-1): Use `yellow' color for dark backgrounds.
71672328
for dark backgrounds instead of dark color `magenta3'. (info-title-1): Use `yellow' color for dark backgrounds.