Начал настраивать внешний вид консоли под себя и заметил досадную проблемку: не меняется цвет отдельных шрифтов. Казалось бы, в настройках всё изменяю - прекрасно, вот, изменил несколько дефолтных цветов шрифта в консоли, но некоторые цвета никак не хотят поддаваться. Не могу понять, что я делаю не так. Я хочу поменять ядовито-синий цвет шрифта на какой-то более приятный цвет, в настройках нет ни одного ядовито-синего цвета, но, тем не менее, по факту - он есть. Чудеса... Мои настройки - тут. Вроде как этого синего цвета вообще не должно быть в палитре моей консоли, но....ОН ЕСТЬ. Перезапуск терминала не помогает, сразу говорю. Какие есть идеи? Сталкивались с этим? Может я что-то упустил?
P.S. Fedora 20 (GNOME 3.10.2).