シェルのデフォルト色を変更する

シェルのデフォルト色を変更する

Gnome シェルのブラウニーのデフォルト色を、よりグレーがかった色に変更する方法があるかどうか疑問に思っています。私は Ubuntu 18.04 を使用しており、Gnome Tweak で Arc ダーク テーマを適用していますが、よりグレーがかった色の方が統一感があると思います。
例

Tweak Tools から選択して .css を .themes フォルダーに追加することでデフォルトのフォントを変更する方法を見つけましたが、背景色を変更する方法がわかりません。

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

答え1

/usr/share/themes/Arc-Dark/gnome-shell/gnome-shell.css解決策は、 IEにあるデフォルトのArc-Dark Shellテーマのフォントとサイズを変更することです。

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

次に、GNOME Tweaks を使用してシェルのテーマとして「Arc Dark」を選択します。

関連情報