ma., 18.04.2016 kl. 14.58 -0700, skrev Gerald Pfeifer:
> On Tue 2016-04-05, Olaf Hering wrote:
>
> First the /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
> workaround went away, now the following does not work any more,...
>
> > > ~/.config/gtk-3.0/gtk.css
Third hit on google: gnome 3.20 reduce title bars
/* shrink headebars */
headerbar {
min-height: 0;
padding-left: 2px; /* same as childrens vertical margins for nicer
proportions */
padding-right: 2px;
padding-top: 1px;
padding-bottom: 1px;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 1px; /* same as headerbar side padding for nicer
proportions */
margin-bottom: 1px;
}
/* shrink ssd titlebars */
.default-decoration {
min-height: 0; /* let the entry and button drive the titlebar size
*/
padding-left: 2px; /* same as childrens vertical margins for nicer
proportions */
padding-right: 2px;
padding-top: 1px;
padding-bottom: 1px;
}
.default-decoration .titlebutton {
min-height: 10px; /* tweak these two props to reduce button size */
min-width: 10px;
}
Upstreams problem is that they have to serve a multitude of screen
resolutions - The above looks ridiculously small on my HiDPI laptop
screen, and by my opinion just plain odd on my 1920x1080 monitor.
(Note that you might have to do a logout/in before settings taking
effect).
//Bjørn
--
To unsubscribe, e-mail: [email protected]
To contact the owner, e-mail: [email protected]
