如何减少 GNOME 中大量标题栏边距/填充的大小

Question

我最近从 15.04 升级到 15.10，我不相信利润率几乎如此荒谬，所以我想知道是否有什么东西被重置/改变了。

如您所见，顶部 GNOME 栏是正常大小，Firefox 标签栏也是正常大小。然后在中间轻拍是一个标题栏的怪物，它的大小大约是它应该大小的两倍。

我正在使用 Numix 作为 GTK+ 主题，它在我使用过的任何其他机器上从未看起来如此臃肿。我尝试减小标题栏的字体大小，但问题是我猜测的边距/填充似乎没有任何设置。

Answer 1

创建或修改~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none; 
     background-image: linear-gradient(to bottom, 
                    shade(@theme_bg_color, 1.05), 
                    shade(@theme_bg_color, 0.99)); 
     box-shadow: inset 0 1px shade(@theme_bg_color, 1.4); 
} 

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

然后通过 Alt+F2 和 as 命令重新启动 GNOME shell r。

来源： http: //jadelinux.com/fedoratips/titlebarheight.html