Fabian Homborg c55aa48308 Default colorscheme: Change pager prefix color for light terminals ... From my checks (gnome-terminal with the "gnome light" colorscheme) this seems to be the only color that's barely visible in a light terminal, and it's the only color mentioned in both bug reports. I'm leaving the artistic decisions to others, this is now *acceptable* in both. Note that, because we use universal variables here (hint #7317), this will only be changed for preexisting installations when the user reloads the colorscheme. Fixes #3412 Fixes #3893		2021-05-01 20:16:23 +02:00
..
web_config	Default colorscheme: Change pager prefix color for light terminals	2021-05-01 20:16:23 +02:00
create_manpage_completions.py	Manpage generator: Give better error when we can't understand manpath	2021-03-26 19:32:14 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00