Editor color 2021

The editor styling is done through JavaFX CSS files. The process was initially described here:

And I’ve added it as a page in the manual here:

2 Likes