gnome3 调整标题栏高度

适用于：gtk 3.20 +

1. 在用户主目录 ～/.config/gtk3.0/ 下新建gtk.css文件；

2. 复制如下css值；

 1 headerbar.default-decoration {
 2  padding-top: 3px;
 3  padding-bottom: 3px;
 4  min-height: 24px;    /* 标题栏高度 */
 5  font-size: 1.0em;
 6 }
 7 
 8 headerbar.default-decoration button.titlebutton {
 9  padding-top: 3px;
10  padding-bottom: 3px;
11  min-height: 0px;
12 }

3. 按Alt+F2后，输入r重启桌面；