From 9ad308f2f081ae5e11e4f2d4962f973459db685f Mon Sep 17 00:00:00 2001 From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com> Date: Thu, 10 Aug 2023 14:53:25 +0200 Subject: [PATCH] Fix padding inside search input. Adjust borders for toggle buttons --- styles/src/style_tree/search.ts | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/styles/src/style_tree/search.ts b/styles/src/style_tree/search.ts index 3de76f1d7ee83bdcc4dbdb4b8dc2e78af48d001e..35e7042ceba50cd60a78f8118f8eb72c367b87fc 100644 --- a/styles/src/style_tree/search.ts +++ b/styles/src/style_tree/search.ts @@ -20,9 +20,9 @@ export default function search(): any { right: 12, }, padding: { - top: 3, - bottom: 3, - left: 10, + top: 4, + bottom: 4, + left: 4, right: 4, }, } @@ -46,8 +46,8 @@ export default function search(): any { ...text(theme.highest, "mono", "on"), background: background(theme.highest, "on"), corner_radius: 2, - border: border(theme.highest, "on"), - + margin: { right: 2 }, + border: { width: 0, color: foreground(theme.highest, "variant") }, padding: { bottom: 6, left: 6, @@ -59,25 +59,26 @@ export default function search(): any { hovered: { ...text(theme.highest, "mono", "on", "hovered"), background: background(theme.highest, "on", "hovered"), - border: border(theme.highest, "on", "hovered"), }, clicked: { ...text(theme.highest, "mono", "on", "pressed"), background: background(theme.highest, "on", "pressed"), - border: border(theme.highest, "on", "pressed"), }, }, }), state: { active: { default: { - ...text(theme.highest, "mono", "accent"), + background: background(theme.highest, "accent", "hovered"), + border: border(theme.highest, "on"), }, hovered: { ...text(theme.highest, "mono", "accent", "hovered"), + border: border(theme.highest, "on", "hovered"), }, clicked: { ...text(theme.highest, "mono", "accent", "pressed"), + border: border(theme.highest, "on", "pressed"), }, }, },