Johannes Altmanninger 558041f6e1 None theme: Use reverse video for selected pager entry ... Otherwise, with a light-theme, the selected entry uses black text with "bright black" background, which can be low contrast thus hard to read. The description background is different, maybe we can fix that later. See #8376		2021-11-04 18:41:29 +01:00
..
web_config	None theme: Use reverse video for selected pager entry	2021-11-04 18:41:29 +01: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