它无法通过 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/
如何更改 GNOME 3.8 顶部栏字体？