commit: 55c375680fa17c340772afc6c22e38d776873950 parent ee4358680565eb7976df924377058e70951f9b07 Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me> Date: Sun, 27 Dec 2020 01:41:25 +0100 gtk-3.0/gtk.css: Add back some margin on menuitemDiffstat:
M | .config/gtk-3.0/gtk.css | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.config/gtk-3.0/gtk.css b/.config/gtk-3.0/gtk.css @@ -23,5 +23,5 @@ entry { menuitem { padding: 0.1em 0; - margin: 0.1em 0; + margin: 0.1em 0.2em; }