GNOME Tweak Toolでは変更できません。しかし、答えを知っている人はいますか？
ベストアンサー1
迅速で汚い解決策が必要な場合は編集してください。
/usr/share/gnome-shell/theme/gnome-shell.css
もちろん、次にgnome-shellパッケージが更新されたときにこの内容を上書きすることもできます。
よりきれいな（しかし少し複雑な）方法は、独自の（ミニ）テーマを作成することです。
http://rlog.rgtti.com/2012/01/29/how-to-modify-a-gnome-shell-theme/