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/