diff options
| author | Jakob Odersky <jakob@odersky.com> | 2016-05-25 14:18:40 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2016-05-25 14:18:40 -0700 |
| commit | 1f3bab84ed216ff44b39f1b3fa758bc7086df44a (patch) | |
| tree | 56c10483ebcb399e20b67be9052de86b9bf6c68e | |
| parent | 51b3c9f0554bc4c1e552030d24b4efcacace19b3 (diff) | |
| download | dotfiles-1f3bab84ed216ff44b39f1b3fa758bc7086df44a.tar.gz dotfiles-1f3bab84ed216ff44b39f1b3fa758bc7086df44a.tar.bz2 dotfiles-1f3bab84ed216ff44b39f1b3fa758bc7086df44a.zip | |
Make title bars even smaller
| -rw-r--r-- | home/.config/gtk-3.0/gtk.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.config/gtk-3.0/gtk.css b/home/.config/gtk-3.0/gtk.css index dfb6fa5..769ccf0 100644 --- a/home/.config/gtk-3.0/gtk.css +++ b/home/.config/gtk-3.0/gtk.css @@ -2,7 +2,7 @@ .default-decoration { min-height: 0px; - padding: 2px; + padding: 0px; } .default-decoration .titlebutton { |