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