On Sat, Dec 12, 2020 at 09:23:23AM +0100, Jürgen Spitzmüller wrote: > Thanks. As I said, colors are just tentative now. They should be > adapted by someone who uses dark mode once this is committed. I can change those few cases mentioned if you don't mind. Pavel