使用 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;
      }

Answer 2

@andy.holmes 描述的方法似乎可以解决问题。 font-weight 使用 #panel StLabel，font-family 使用 stage。

这个 CSS 正在工作：

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

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

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

Make Gnome top bar font weight bold with CSS?

linux

ubuntu

gtk

gnome

gnome-shell