Красим Тею

Делюсь простейшим и наиболее безопасным (без левых плагинов из магазинов) как уже сегодня использовать свои темы в Среде Разработки:
1. Через инструменты разработчика вашего браузера подбираем стили по вкусу: переменные которые мы изменили (и только их!) заносим в отдельный локальный css файлик
2. Теперь настало время получившийся CSS превратить в JS, для этого можете использовать шаблон:

javascript:(function () {
    const css = `
        .theia-dark{
        --backgroundColorSecondary: #35396e;
        --backgroundColorTretiary: #c39248;
        }
    `;
    const style = document.createElement('style');
    style.type = 'text/css';
    style.appendChild(document.createTextNode(css));
    document.head.appendChild(style);
})();

где значение константы css - переменые css которые нужно поменять

3. Получившийся js превращаем в закладку в браузере:
для этого в списке закладок - добавить закладку - Имя произвольное, а в поле URL вставьте весь ваш код. Обычно поле ввода там не многострочное.
4. Готово, теперь находясь в любом экземпляре среды вы можете быстро применить любую свою тему оформления, нажав на закладку, например, накрутить корпоративные цвета.