From e2479a7172a617bb61804973c3dbb2f3b924d87a Mon Sep 17 00:00:00 2001 From: Nate Butler Date: Tue, 5 Sep 2023 10:24:49 -0400 Subject: [PATCH] Fix cropped search filters --- styles/src/style_tree/search.ts | 4 ++-- styles/src/style_tree/toolbar.ts | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/styles/src/style_tree/search.ts b/styles/src/style_tree/search.ts index a93aab4ea8..8174690fde 100644 --- a/styles/src/style_tree/search.ts +++ b/styles/src/style_tree/search.ts @@ -48,7 +48,7 @@ export default function search(): any { } return { - padding: { top: 0, bottom: 0 }, + padding: { top: 4, bottom: 4 }, option_button: toggleable({ base: interactive({ @@ -394,7 +394,7 @@ export default function search(): any { }), }, }), - search_bar_row_height: 32, + search_bar_row_height: 34, search_row_spacing: 8, option_button_height: 22, modes_container: {}, diff --git a/styles/src/style_tree/toolbar.ts b/styles/src/style_tree/toolbar.ts index 01a09a0616..adf8fb866f 100644 --- a/styles/src/style_tree/toolbar.ts +++ b/styles/src/style_tree/toolbar.ts @@ -8,8 +8,8 @@ export const toolbar = () => { const theme = useTheme() return { - height: 32, - padding: { left: 4, right: 4, top: 4, bottom: 4 }, + height: 42, + padding: { left: 4, right: 4 }, background: background(theme.highest), border: border(theme.highest, { bottom: true }), item_spacing: 4,