From e6cb0f7bd0bffbe26a2ad41b1510f48d777b95a6 Mon Sep 17 00:00:00 2001 From: Commenter <35016761+Commenter25@users.noreply.github.com> Date: Sun, 27 Nov 2022 09:00:48 -0600 Subject: [PATCH] Fix nav-bar padding with tabsAsHeaderbar (#500) --- theme/parts/tabsbar.css | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/theme/parts/tabsbar.css b/theme/parts/tabsbar.css index a0eb444..3d41cd7 100644 --- a/theme/parts/tabsbar.css +++ b/theme/parts/tabsbar.css @@ -533,8 +533,11 @@ tab { } /* Remove nav-bar rounding and padding */ - :root[tabsintitlebar][sizemode="normal"]:not([gtktiledwindow="true"]) #nav-bar { - border-radius: 0 !important; + :root[tabsintitlebar][sizemode="normal"]:not([gtktiledwindow="true"]) #nav-bar { + border-radius: 0 !important; + } + :root[tabsintitlebar]:not([inFullscreen]) #nav-bar, + :root[tabsintitlebar][inFullscreen] #nav-bar { padding-left: 3px !important; padding-right: 3px !important; }