From 115f2c1e70f2563b9b49d562f60607a9e68ae30b Mon Sep 17 00:00:00 2001
From: Jeremy Magland <jmagland@flatironinstitute.org>
Date: Mon, 29 Jul 2024 12:09:22 -0400
Subject: [PATCH] tweak editor toolbar styling

---
 gui/src/app/FileEditor/TextEditor.tsx  |  5 ++++-
 gui/src/app/Scripting/ScriptEditor.tsx | 10 +++++-----
 gui/src/localStyles.css                |  1 +
 3 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/gui/src/app/FileEditor/TextEditor.tsx b/gui/src/app/FileEditor/TextEditor.tsx
index 0156df67..2e93f5f7 100644
--- a/gui/src/app/FileEditor/TextEditor.tsx
+++ b/gui/src/app/FileEditor/TextEditor.tsx
@@ -228,7 +228,10 @@ const ToolbarItemComponent: FunctionComponent<{ item: ToolbarItem }> = ({
     }
   } else if (item.type === "text") {
     return (
-      <span style={{ color: item.color || "gray" }} title={item.label}>
+      <span
+        style={{ color: item.color || "gray", position: "relative", top: 1 }}
+        title={item.label}
+      >
         {item.label}&nbsp;&nbsp;&nbsp;
       </span>
     );
diff --git a/gui/src/app/Scripting/ScriptEditor.tsx b/gui/src/app/Scripting/ScriptEditor.tsx
index 97ec153f..83b3b8c9 100644
--- a/gui/src/app/Scripting/ScriptEditor.tsx
+++ b/gui/src/app/Scripting/ScriptEditor.tsx
@@ -145,19 +145,19 @@ const makeToolbar = (o: {
   let label: string;
   let color: string;
   if (status === "loading") {
-    label = `Loading ${name}...`;
+    label = `loading ${name}...`;
     color = "blue";
   } else if (status === "installing") {
-    label = `Installing packages for ${name}...`;
+    label = `installing packages for ${name}...`;
     color = "blue";
   } else if (status === "running") {
-    label = "Running...";
+    label = "running...";
     color = "blue";
   } else if (status === "completed") {
-    label = "Completed";
+    label = "completed";
     color = "green";
   } else if (status === "failed") {
-    label = "Failed";
+    label = "failed";
     color = "red";
   } else {
     label = "";
diff --git a/gui/src/localStyles.css b/gui/src/localStyles.css
index 1024392e..1e33b1d0 100644
--- a/gui/src/localStyles.css
+++ b/gui/src/localStyles.css
@@ -87,6 +87,7 @@
 .EditorMenuBar {
   background-color: lightgray;
   height: 25px;
+  padding-top: 5px;
 }
 
 .EditorWithToolbar {