Fabian Homborg a78ec8c8cb webconfig: Use flexbox for the colorschemes ... This had a classic float:left layout, which led to awkward gaps and stuff. Since what we want here is basically 100% exactly a flexbox, just use that. Note: No flexbox for the prompts, atm, because having multiple of those next to each other looks a bit weird.		2021-01-26 20:47:18 +01:00
..
web_config	webconfig: Use flexbox for the colorschemes	2021-01-26 20:47:18 +01:00
create_manpage_completions.py	Reformat	2020-11-22 14:39:48 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00