Small tweaks to titlebar sizing

master
Christian Medel 2019-03-13 21:42:18 -04:00
parent 4bafbdba6e
commit 5fd4fa0333
1 changed files with 1 additions and 1 deletions

View File

@ -2347,7 +2347,7 @@ messagedialog {
border-radius: 0; } 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) { .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; color: @titlebar_fg_color;
background-color: @titlebar_bg_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; } box-shadow: inset 1px 1px mix(@titlebar_bg_color, @theme_base_color, 0.4), inset -1px -1px @titlebar_bg_color; }