Is it possible to define a json file to remap the default colors in the editor? I can't see where the themes (dark/light) are stored or even if they are accessible to the user. Or do we just have to change colors via the General Settings > Text Editors > Code Editor box ?