From d0c25a8d2fd31e79549b3fb65e327911455fe940 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 14 Nov 2023 07:24:53 +0100
Subject: [PATCH] make it also conspicuous when kernel is busy

---
 style/base.css | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/style/base.css b/style/base.css
index 3004d88..c00c6e9 100644
--- a/style/base.css
+++ b/style/base.css
@@ -93,6 +93,30 @@ button.jp-NotebookTrustedStatus {
       color: var(--jp-error-color3);
   }
 }
+.jp-Notebook-ExecutionIndicator[data-status="busy"] {
+  background-color: var(--jp-warn-color1);
+
+  & path {
+    fill: var(--jp-warn-color3);
+  }
+  width: 250px;
+  & svg {
+    margin: 0px;
+  }
+  & :first-child {
+    display: flex;
+    flex-wrap: nowrap;
+    justify-content: space-around;
+
+    & >svg {
+      stroke: black;
+    }
+  }
+  & >:first-child::after {
+      content: "Kernel is busy, please wait !!";
+      color: var(--jp-warn-color3);
+  }
+}
 
 
 /*