dotfiles

commit: 8111da174bf476197cca0f8ab5dee8b6a605fede
parent: e6d16db202d2f53b4f0935927297fd6f8a35a45d
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Mon, 11 May 2020 02:58:36 +0200

gtk-3.0/gtk.css: Remove more min sizes, add some padding

Diffstat:
M
.config/gtk-3.0/gtk.css
12
+++++++++---

1 file changed, 9 insertions(+), 3 deletions(-)
diff --git a/.config/gtk-3.0/gtk.css b/.config/gtk-3.0/gtk.css
@@ -3,14 +3,20 @@ notebook {
 }
 
 notebook tabs,
-notebook tab,
-button {
+notebook tab {
 	margin: 0;
 	padding: 0;
 }
 
+button, entry {
+	margin: 0;
+	padding: 0.25em;
+}
+
 notebook tabs,
-notebook tab {
+notebook tab,
+button,
+entry {
 	min-height: unset;
 	min-width: unset;
 }