diff options
| author | Jakob Odersky <jakob@odersky.com> | 2016-05-24 21:49:41 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2016-05-24 21:49:41 -0700 |
| commit | 51b3c9f0554bc4c1e552030d24b4efcacace19b3 (patch) | |
| tree | 1c20fa36fbb065704d4bcfd90ded1c42646038cf /home/.config/gtk-3.0 | |
| parent | d47e1656432091b0a7f39d9e964d05e7f764eb0d (diff) | |
| download | dotfiles-51b3c9f0554bc4c1e552030d24b4efcacace19b3.tar.gz dotfiles-51b3c9f0554bc4c1e552030d24b4efcacace19b3.tar.bz2 dotfiles-51b3c9f0554bc4c1e552030d24b4efcacace19b3.zip | |
Shrink header bars in gnome 3.20
Diffstat (limited to 'home/.config/gtk-3.0')
| -rw-r--r-- | home/.config/gtk-3.0/gtk.css | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/home/.config/gtk-3.0/gtk.css b/home/.config/gtk-3.0/gtk.css index 119703e..dfb6fa5 100644 --- a/home/.config/gtk-3.0/gtk.css +++ b/home/.config/gtk-3.0/gtk.css @@ -1,11 +1,11 @@ /* Shrink title bars */ -.header-bar.default-decoration { - padding-top: 0px; - padding-bottom: 0px; +.default-decoration { + min-height: 0px; + padding: 2px; } -.header-bar.default-decoration .button.titlebutton { - padding-top: 0px; - padding-bottom: 0px; +.default-decoration .titlebutton { + min-height: 0px; + padding: 0px; } |