gnome3 调整标题栏高度

适用于：gtk 3.20 +

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

2. 复制如下css值；

 headerbar.default-decoration {
  padding-top: 3px;
  padding-bottom: 3px;
  min-height: 24px;    /* 标题栏高度 */
  font-size: 1.0em;
 } headerbar.default-decoration button.titlebutton {
  padding-top: 3px;
  padding-bottom: 3px;
  min-height: 0px;
 }

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