From 5af974ae3155876bcc3f9cf853fbad1152bcce9c Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Wed, 27 Aug 2025 14:51:32 +0200
Subject: [PATCH] Fix invisible "Restore to Defaults" button

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

diff --git a/style/variables.css b/style/variables.css
index d1e8b13..d427728 100644
--- a/style/variables.css
+++ b/style/variables.css
@@ -427,6 +427,19 @@ all of MD as it is not optimized for dense, information rich UIs.
   --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);
+
+  /* Button colors */
+  --jp-accept-color-normal: var(--jp-night-blue);
+  --jp-accept-color-hover: #4a8dcc;
+  --jp-accept-color-active: #3f7bb3;
+
+  --jp-reject-color-normal: var(--jp-night-grey);
+  --jp-reject-color-hover: #7a8389;
+  --jp-reject-color-active: #6b7379;
+
+  --jp-warn-color-normal: var(--jp-night-orange);
+  --jp-warn-color-hover: #e66b4f;
+  --jp-warn-color-active: #d5583f;
 }
 
 .jp-InputArea-editor {