如何更改 gnome-shell 標題欄高度

有沒有辦法改變 gnome-shell 中標題欄的高度？

由於它目前對我的口味來說太大了，我想把它縮小一點。

有些主題是正確的，但我不知道在哪裡看。我只能假設它可能與 css/js 相關。

我目前的GNOME Shell版本是3.16.4並且我正在執行 Ubuntu。

這無濟於事：如何調整 GNOME shell top bar的大小。也不期待它，但可能給了我一個方向……

在搜尋“無處不在”之後，我發現了一個2015 年 4 月的archlinux 論壇文章：

css需要放入以下內容~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration {
   padding-top: 3px;
   padding-bottom: 3px;
}

.header-bar.default-decoration .button.titlebutton {
   padding-top: 2px;
   padding-bottom: 2px;
}

我將填充更改為1px，現在很棒！

注意：我的預感是對的！它與css 相關

引用自：https://unix.stackexchange.com/questions/266734