How to use themes with Monaco editor

Oh - thats odd.

It works for me...

Result...
image

Silly questions (but they have to be asked) are you editing the correct settings.js? Did you restart node-red? Did you refresh browser?