В Ubuntu 14.04 я мог стилизовать внешний вид терминала gnome и его вкладок, создав файл
/home/$user/.config/gtk-3.0/gtk.css
и вставив в него код CSS, например
TerminalWindow .notebook tab.top:active{
padding: 0;
border-image: none;
background-color: #555;
}
[...]
Теперь в Ubuntu 16.04 это никак не влияет на внешний вид терминала gnome.
Как я могу изменить внешний вид терминала gnome в Ubuntu 16.04?
adwaita
. Он поставляется с любым дистрибутивом GNOME. По умолчанию тема угадывает Ambiance. Атмосфера в 16.04 все еще старая, поэтому вы сможете редактировать вещи просто в отличие от проблемы с Numix, которую я описал. Если вы не можете, это просто означает, что разработчики GNOME что-то жестко запрограммировали :(