我使用 dash to panel 扩展,我想更改其默认字体。所以我修改了 /usr/share/themes/theme_name/ 中的 gnome-shell.css。我在 /Top Bar/ 部分中写入了一个新行 (font-family)。
/* Top Bar */
#panel {
font-family: Ubuntu Bold;
background-color: #1d1d1d;
height: 1.86em;
font-feature-settings: "tnum"; }
(...)
我想使用 Ubuntu BOLD (!) 字体。gnome 似乎更改了字体,但它只是 Ubuntu Regular(很细),我不知道如何使用 Ubuntu Bold。
答案1
没有“Ubuntu Bold”字体系列。这尚未测试,但我会尝试:
font-family: Ubuntu;
font-weight: bold;
编辑:
我做了此测试页。查看该页面的源代码。
因此字体粗细无论如何都应该是需要的。