Para onde foi movida a configuração de estilo GTK3 do terminal gnome no Ubuntu 16.04?

No Ubuntu 14.04, eu poderia estilizar a aparência do terminal gnome e suas guias criando um arquivo

/home/$user/.config/gtk-3.0/gtk.css

e colocando código CSS nele, por exemplo

    TerminalWindow .notebook tab.top:active{
      padding: 0;
      border-image: none;
      background-color: #555;
    }
    [...]

Agora no Ubuntu 16.04 isso não afeta a aparência do terminal gnome.
Como posso modificar a aparência do terminal gnome no Ubuntu 16.04?

Isso funciona para mim:

/* gnome-terminal */
@define-color terminal_bg #300a24;

TerminalScreen {
    -TerminalScreen-background-darkness: 0.95;
    background-color: @terminal_bg;
    color: #fff;
}

TerminalScreenContainer .scrollbar:hover:not(.slider),
TerminalScreenContainer .scrollbar.dragging:not(.slider) {
    background-color: alpha(@scrollbar_track_color, 0.4);
}

/* Since .hovering class is not working here, we always
 use the same radius */
TerminalScreenContainer .scrollbar.slider.hovering,
TerminalScreenContainer .scrollbar.slider.dragging {
    border-radius: 1px;
}

TerminalScreenContainer .scrollbar {
    background-color: transparent;
}

TerminalWindow .notebook tab:active {
    padding: 0;
    border: none;
    background-color: #222;
}

O código que adicionei está na parte inferior. O arquivo que editei é~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css .

Notas:

• Eu apenas copiei a pasta Ambiance/usr/share/themes e a renomeei para que não precise usar privilégios elevados ao editar o arquivo.

• Descobri que o uso #555dificultava a visualização do texto na guia.

• Também mudei o selected_fg_colorpara ter certeza de qual tema é qual e é por isso que a barra de rolagem não é laranja;)

Efetuar logout / fechar todos os meus programas e efetuar logon novamente aplicou o tema.
A referência da API GTK para GtkCssProvider (a versão instável do desenvolvedor - não consigo encontrar as seções equivalentes para stable) explica / confirma como o GTK lerá o código CSS para um tema na inicialização:

Um aplicativo pode fazer com que o GTK + analise uma folha de estilos CSS específica chamando gtk_css_provider_load_from_file () e adicionando o provedor com gtk_style_context_add_provider () ou gtk_style_context_add_provider_for_screen ().
Além disso, certos arquivos serão lidos quando o GTK + for inicializado. Primeiro, o arquivo $ XDG_CONFIG_HOME / gtk-3.0 / gtk.css é carregado, se existir.
Em seguida, o GTK + tenta carregar $ HOME / .themes / theme-name / gtk-3.0 / gtk.css, retornando ao datadir / share / themes / theme-name / gtk-3.0 / gtk.css, em que theme-name é o nome do tema atual (consulte a configuração "gtk-theme-name") e datadir é o prefixo configurado quando o GTK + foi compilado, a menos que seja substituído pela variável de ambiente GTK_DATA_PREFIX.

A experiência anterior sugeria o terminal do gnome; tudo o que você precisava fazer era fechar todas as guias e janelas do terminal do gnome para que novos temas entrassem em vigor. De acordo com os documentos, talvez o GTK precise passar por sua inicialização, ou pode ter havido um gnome-terminalprocesso ainda em execução, exigindo que eu efetue logout e logon novamente.