On 04/27/2016 07:24 PM, Paul Smith wrote:
On Wed, 2016-04-27 at 17:50 -0500, Ty wrote:
Alright. I'll just find another extension to use for now. I really
dislike the big, bulky Gnome titlebars.
I haven't tried 16.04 (Gnome 3.18) yet, but this works great for me in
Ubuntu GNOME 15.10 (Gnome 3.16); no extensions needed:
/* The default title bars in Gnome 3 are TOO HUGE!!
* In pre-3.16 versions of Gnome we used to modify the Metacity theme
* but that doesn't work in 3.16 for whatever reason. Found this on:
*https://bbs.archlinux.org/viewtopic.php?pid=1518845#p1518845
*
* Add this file to ~/.config/gtk-3.0/gtk.css
* Then either log out/in or restart the shell (ALT-F2 r RET)
*/
.header-bar.default-decoration {
padding-top: 0px;
padding-bottom: 0px;
/* Not exactly sure what this does; it's something to do with borders
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: 0px;
padding-bottom: 0px;
}
That helped a lot. Thanks for the CSS!
--
Ubuntu-GNOME mailing list
Ubuntu-GNOME@lists.ubuntu.com
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
