Cambiar el color predeterminado del Shell

Cambiar el color predeterminado del Shell

Me pregunto si hay alguna manera de cambiar el color predeterminado del brownie en Gnome Shell a uno más grisáceo. Estoy en Ubuntu 18.04 y apliqué el tema oscuro Arc con Gnome Tweak, pero creo que un color más grisáceo se verá más integrado:
Ejemplo

Encontré una manera de cambiar la fuente predeterminada agregando un .css a la carpeta .themes y seleccionándolo desde Tweak Tools, pero no sé cómo cambiar el color de fondo.

stage {
font-family: Ubuntu Condensed;
font-size: 15px;
}

Respuesta1

Bueno, la solución es cambiar la fuente y el tamaño en el tema predeterminado de Arc-Dark Shell ubicado en /usr/share/themes/Arc-Dark/gnome-shell/gnome-shell.cssie

    stage {
  font-family: Ubuntu Condensed;
  font-size: 11pt;
  color: #D3DAE3; }

Luego seleccione "Arc Dark" como tema de shell usando ajustes de GNOME.

información relacionada