From 5fd4fa0333ebd67fd28a8dc5702903a678027ae5 Mon Sep 17 00:00:00 2001 From: Christian Medel Date: Wed, 13 Mar 2019 21:42:18 -0400 Subject: [PATCH] Small tweaks to titlebar sizing --- gtk-3.0/gtk-widgets.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtk-3.0/gtk-widgets.css b/gtk-3.0/gtk-widgets.css index 138f14b..384ec99 100644 --- a/gtk-3.0/gtk-widgets.css +++ b/gtk-3.0/gtk-widgets.css @@ -2347,7 +2347,7 @@ messagedialog { border-radius: 0; } .titlebar, .titlebar:not(headerbar), headerbar.default-decoration, .csd headerbar.default-decoration, .default-decoration.titlebar:not(headerbar), .csd .default-decoration.titlebar:not(headerbar) { - min-height: 28px; + min-height: 30px; color: @titlebar_fg_color; background-color: @titlebar_bg_color; box-shadow: inset 1px 1px mix(@titlebar_bg_color, @theme_base_color, 0.4), inset -1px -1px @titlebar_bg_color; }