I'm struggling to get an editor theme working on Windows. I managed it on another PC I don't have access to at the moment. Below is my settings.js and the location of the theme file. My settings.js file is being loaded correctly, as changing other settings in it are reflected on the startup commands or editor itself.
I have tried running it from an Admin Powershell window as well, and tried opening in another browser to make sure its not a cached stylesheet issue. In element inspector in Chrome, copying and pasting the stylesheet from the theme into red/style.min.css works perfectly.
Any ideas?

