![]() | 1 | initial version |
Use the code as below
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
font-size: 0.8em;
}
.header-bar.default-decoration .button.titlebutton {
padding: 0px;
}
Source : http://blog.samalik.com/make-your-gnome-title-bars-smaller/