linux - 使用 CSS 使 Gnome 顶部栏字体粗体变粗？

Question

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

我找到了 gnome-shell.css on GitLab 的来源描述#panel作为目标的 UI。

我已经在面板上尝试了这两个 CSS 属性:

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

不过似乎什么都没有改变。如果我设置 background-color: red ，反射(reflect)了背景变化，所以我知道我的 CSS 文件至少可以正常工作。

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

Answer 1

@andy.holmes描述的方法似乎成功了。使用#panel StLabel对于 font-weight并使用 stage对于 font-family .

这个 CSS 正在工作:

#panel StLabel {
  font-weight: 500;
  font-size: 13px;
}

stage {
  font-family: "Inter", sans-serif;
}