From ae4a05be513d37cb5389943d1dea79324f98f596 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Thu, 12 Dec 2024 15:55:21 +0100
Subject: [PATCH] Fix styling for search matches

---
 style/variables.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/style/variables.css b/style/variables.css
index 55542a3..d1e8b13 100644
--- a/style/variables.css
+++ b/style/variables.css
@@ -418,6 +418,15 @@ all of MD as it is not optimized for dense, information rich UIs.
   /* Sidebar-related styles */
 
   --jp-sidebar-min-width: 180px;
+
+  /* Search colors */
+  --jp-search-toggle-off-opacity: 0.6;
+  --jp-search-toggle-hover-opacity: 0.8;
+  --jp-search-toggle-on-opacity: 1;
+  --jp-search-selected-match-background-color: var(--md-yellow-500);
+  --jp-search-selected-match-color: black;
+  --jp-search-unselected-match-background-color: var(--jp-night-blue);
+  --jp-search-unselected-match-color: var(--jp-ui-font-color0);
 }
 
 .jp-InputArea-editor {