Hi Ruedi and thank you for posting in our community.
Unfortunately, it's no longer possible to change themes :( maybe changing the scaling could help?
If you want to try, this option is available inside the preference panel, under appearance. I will pass your feedback to the development team but if you wish to submit this as a suggestion, please do so by going to this page and submitting ideas.
Thank you
MC