diff options
author | Tharre <tharre3@gmail.com> | 2017-05-18 16:52:39 +0200 |
---|---|---|
committer | Tharre <tharre3@gmail.com> | 2017-05-18 16:52:39 +0200 |
commit | 90b488e516a27c18d599063aaecb6db481590eba (patch) | |
tree | 625b03a203184d3f88995e5fa4add4817aaa0b03 /.config | |
parent | 94873533a37c106cda4ace384056b8692d4a5cac (diff) | |
download | dotfiles-90b488e516a27c18d599063aaecb6db481590eba.tar.gz dotfiles-90b488e516a27c18d599063aaecb6db481590eba.tar.xz dotfiles-90b488e516a27c18d599063aaecb6db481590eba.zip |
gnome-gtk: make title border smaller
Diffstat (limited to '.config')
-rw-r--r-- | .config/gtk-3.0/gtk.css | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.config/gtk-3.0/gtk.css b/.config/gtk-3.0/gtk.css new file mode 100644 index 0000000..7d7e145 --- /dev/null +++ b/.config/gtk-3.0/gtk.css @@ -0,0 +1,25 @@ +headerbar entry, +headerbar spinbutton, +headerbar button, +headerbar separator { + margin-top: 0px; /* same as headerbar side padding for nicer proportions */ + margin-bottom: 0px; +} + +.default-decoration { + min-height: 0; /* let the entry and button drive the titlebar size */ + padding: 0px +} + +.default-decoration .titlebutton { + min-height: 21px; /* tweak these two props to reduce button size */ + min-width: 21px; +} + +window.ssd headerbar.titlebar { + 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); +} |