Add Theme menu to apply custom themes via javascript/UI/themes.js (with persistence)

index.html

@@ -55,7 +55,7 @@
                 <select id="languageSelection">
                 </select>
             </li>
-			<li style="margin-left:1rem; display: none;">
+			<li style="margin-left:1rem;">
 				<div>Theme:&nbsp;</div>
 				<select id="themeSelection"></select>
 			</li>

javascript/UI/themes.js

@@ -69,5 +69,19 @@ document.addEventListener("DOMContentLoaded", () => {
   Object.keys(themes).forEach(name => sel.add(new Option(name, name))); //Visible text, value
   //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;
+    if (!selected) {
+      applyTheme(null); // reset
+      localStorage.removeItem("skoTheme");
+    } else {
+      applyTheme(themes[selected]);
+      localStorage.setItem("skoTheme", selected);
+    }
+  };
+
 });
 

package.json

@@ -18,7 +18,7 @@
   "dependencies": {
     "@babel/standalone": "^7.23.5",
     "body-parser": "^1.20.2",
-    "codemirror": "^5.65.16",
+    "codemirror": "^5.65.15",
     "compilex": "^0.7.4",
     "express": "^4.18.2",
     "extract-zip": "^2.0.1",