<html><head></head><body><div>On Wed, 2016-04-27 at 17:50 -0500, Ty wrote:</div><blockquote type="cite">Alright. I'll just find another extension to use for now. I really
dislike the big, bulky Gnome titlebars.<br></blockquote><div><br></div><div>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:</div><div><br></div><div><br></div><pre>/* The default title bars in Gnome 3 are TOO HUGE!!</pre><pre> * In pre-3.16 versions of Gnome we used to modify the Metacity theme</pre><pre> * but that doesn't work in 3.16 for whatever reason. Found this on:</pre><pre> * <a href="https://bbs.archlinux.org/viewtopic.php?pid=1518845#p1518845">https://bbs.archlinux.org/viewtopic.php?pid=1518845#p1518845</a></pre><pre> *</pre><pre> * Add this file to ~/.config/gtk-3.0/gtk.css</pre><pre> * Then either log out/in or restart the shell (ALT-F2 r RET)</pre><pre> */</pre><pre><br></pre><pre>.header-bar.default-decoration {</pre><pre> padding-top: 0px;</pre><pre> padding-bottom: 0px;</pre><pre><br></pre><pre> /* Not exactly sure what this does; it's something to do with borders</pre><pre><br></pre><pre> border: none;</pre><pre> background-image: linear-gradient(to bottom,</pre><pre> shade(@theme_bg_color, 1.05),</pre><pre> shade(@theme_bg_color, 0.99));</pre><pre> box-shadow: inset 0 1px shade(@theme_bg_color, 1.4);</pre><pre> */</pre><pre>}</pre><pre><br></pre><pre>.header-bar.default-decoration .button.titlebutton {</pre><pre> padding-top: 0px;</pre><pre> padding-bottom: 0px;</pre><pre>}</pre></body></html>