From 4658bc610c1bc6fe31ea12ef0e9ecbe87d5f3e4c Mon Sep 17 00:00:00 2001 From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com> Date: Thu, 3 Aug 2023 20:35:10 +0200 Subject: [PATCH] Update styling of nav buttons (width, corner_radius) Co-authored-by: Kyle --- styles/src/style_tree/tab_bar.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/styles/src/style_tree/tab_bar.ts b/styles/src/style_tree/tab_bar.ts index 73b9e82d0c2796fea1a5ab28494093be930a9a2b..81e1f7adf3bb2d36757dc92d95bc2f9ffc9e6bda 100644 --- a/styles/src/style_tree/tab_bar.ts +++ b/styles/src/style_tree/tab_bar.ts @@ -88,8 +88,8 @@ export default function tab_bar(): any { base: { color: foreground(theme.highest, "on"), icon_width: 12, - button_width: 24, - corner_radius: 6, + + button_width: active_pane_active_tab.height, }, state: { hovered: {