Thanks @AntoniDol, I only just now noticed your reply.
I tried downloading the white theme from this thread:
but it contains no
file.
I suppose that’s a Mac/Windows thing.
Where should I get the theme from ?
Other question:
I like the way I configured the default “theme” to my taste. Can’t I just turn that into an editable theme instead ?