From e0fc686a9bc809512d7c099490405eacf099e0b8 Mon Sep 17 00:00:00 2001
From: cameronhumdev <cameron@designconsulting.com.au>
Date: Sat, 28 Mar 2026 15:37:01 +1100
Subject: [PATCH 1/2] fixed contrast for dark themes

---
 javascript/UI/themes.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/javascript/UI/themes.js b/javascript/UI/themes.js
index 20449d96..7d2b29bf 100644
--- a/javascript/UI/themes.js
+++ b/javascript/UI/themes.js
@@ -32,10 +32,12 @@ const themes = {
     //"gutterColour": "#1e1e1e",
     "shadowColour": "#1e1e1e",
     "editorKeyword": "#FAF9F6",
-    "editorComment": "#228B22",
+    "editorComment": "#25C325",
     "editorLineNumber": "#FFFFF0",
     "editorGutterBackground": "#dcdcdc",
-    "editorString": "#fdfdfd"
+    "editorString": "#fdfdfd",
+      "editorSelected": "rgba(255, 255, 255, 0.335)",
+    "editorNumber": "#BF95F9"
   },
   "professional-grey": {
     "editorBackgroundColour": "#2b2b2b",
@@ -70,7 +72,6 @@ document.addEventListener("DOMContentLoaded", () => {
   //Change the theme when the user picks something
   sel.onchange = () => applyTheme(themes[sel.value]);
 
-
   // when user picks a new theme
   sel.onchange = () => {
     const selected = sel.value;
@@ -82,6 +83,5 @@ document.addEventListener("DOMContentLoaded", () => {
       localStorage.setItem("skoTheme", selected);
     }
   };
-
 });
 

From f1a2e0fbd82d4f5bd8e28ae88082b59a31e240f0 Mon Sep 17 00:00:00 2001
From: cameronhumdev <cameron@designconsulting.com.au>
Date: Sat, 28 Mar 2026 15:49:30 +1100
Subject: [PATCH 2/2] Fix formatting issues in theme file

---
 javascript/UI/themes.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javascript/UI/themes.js b/javascript/UI/themes.js
index 7d2b29bf..f8d60f83 100644
--- a/javascript/UI/themes.js
+++ b/javascript/UI/themes.js
@@ -36,7 +36,7 @@ const themes = {
     "editorLineNumber": "#FFFFF0",
     "editorGutterBackground": "#dcdcdc",
     "editorString": "#fdfdfd",
-      "editorSelected": "rgba(255, 255, 255, 0.335)",
+    "editorSelected": "rgba(255, 255, 255, 0.335)",
     "editorNumber": "#BF95F9"
   },
   "professional-grey": {