Ubuntu GNOME 16.04 LTS is here!

[Ty]

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!