使用CSS使Gnome顶部栏字体粗体加粗？

Question

如何使Gnome的顶部栏字体粗体加粗？

我找到了gnome-shell.css on GitLab的源，其中将#panel描述为目标UI。

我已经尝试了面板上的这两个CSS属性：

#panel {
    font-weight: bold;
    /*font-weight: 700;*/
}

虽然似乎没有任何改变。如果我设置为background-color: red，则背景更改已反映，因此我知道我的CSS文件至少可以正常工作。

这是我要更改的顶部UI的屏幕截图：

Answer 1

我在~/.themes/MyTheme/gnome-shell/gnome-shell.css下有一个自定义主题。它在Debian 10下对我有效。您也可以尝试修改/usr/share/themes/YOUR-THEME/gnome-shell/gnome-shell.css，stage需要用于CSS选择器。

stage {
      font-family: Carlito, Ubuntu, Cantarell, Sans-Serif;
      font-weight: bold;
      font-size: 10pt;
      color: #fafafa;
      }