From 9ae28f81c14146bfb1bf1a22aae2949706d4e692 Mon Sep 17 00:00:00 2001
From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com>
Date: Mon, 14 Aug 2023 12:35:33 +0200
Subject: [PATCH] Update option buttons text color

---
 styles/src/style_tree/search.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/styles/src/style_tree/search.ts b/styles/src/style_tree/search.ts
index edf9a46e42dad3f7c68cf01742de721e3210ac5f..7d9600771d542338f2e7e29064a4814630049a08 100644
--- a/styles/src/style_tree/search.ts
+++ b/styles/src/style_tree/search.ts
@@ -43,7 +43,7 @@ export default function search(): any {
         option_button: toggleable({
             base: interactive({
                 base: {
-                    ...text(theme.highest, "mono", "on"),
+                    ...text(theme.highest, "mono", "variant"),
                     background: background(theme.highest, "on"),
                     corner_radius: 2,
                     margin: { right: 2 },
@@ -59,14 +59,14 @@ export default function search(): any {
                 },
                 state: {
                     hovered: {
-                        ...text(theme.highest, "mono", "on", "hovered"),
+                        ...text(theme.highest, "mono", "variant", "hovered"),
                         background: background(theme.highest, "on", "hovered"),
                         border: {
                             width: 1., color: background(theme.highest, "on", "hovered")
                         },
                     },
                     clicked: {
-                        ...text(theme.highest, "mono", "on", "pressed"),
+                        ...text(theme.highest, "mono", "variant", "pressed"),
                         background: background(theme.highest, "on", "pressed"),
                         border: {
                             width: 1., color: background(theme.highest, "on", "pressed")