Here you are!
The previous topic I linked to was for setting the theme of the IDE itself. This new one is about the editor.