Я просто изменил свои настройки затмения для более темной темы. Единственное, что я не могу изобразить, это: когда вы выбираете тег в html, фон открывающего и закрывающего тегов изменяется (как и цвет переднего плана). Это то же самое поведение для выбора переменной в php (цвета фона и переднего плана аналогичного текста в том же документе также изменены). Где я могу изменить эти цвета? Я искал везде и не могу понять, как изменить эти настройки.