Можете ли вы определить как называется цветовая тема для редактора кода?

Попалось на глаза видео от Хауди Хо. Понравилось оформление редактора, хочу установить себе такое же. Подскажите, пожалуйста, как называется эта тема?