Fabian Homborg e571902a85 webconfig: Hover more things ... The buttons were already supposed to highlight on hover, but the color difference was barely visible. Crank that up. Also add a hover color to the tabs, colorschemes, prompts, functions. The big clickable things.		2021-06-10 21:25:40 +02:00
..
web_config	webconfig: Hover more things	2021-06-10 21:25:40 +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