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: