私は最近15.04から15.10へのアップグレードを行いましたが、マージンがこれほどばかげているとは思わないので、何かがリセット/変更されたのではないかと思っています。
ご覧のとおり、上部のGNOMEバーは標準サイズであり、Firefoxのタブバーも標準サイズです。次に、真ん中の軽打は、本来あるべきサイズのおよそ2倍のタイトルバーの怪物です。
GTK +テーマにNumixを使用しています。これは、これまで使用した他のマシンでは決して肥大化していませんでした。タイトルバーのフォントサイズを小さくしようとしましたが、問題は、設定がないように見える余白/パディングです。
~/.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およびr
を使用してGNOME Shellを再起動します。
~/.config/gtk-3.0/gtk.css
を作成または変更します
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
border: none;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 2px;
padding-bottom: 2px;
}
次に、コマンドとしてAlt + F2およびr
を使用してGNOME Shellを再起動します。
この回答から省略された余分なビットがNumixテーマを台無しにしました。