Re-add the accidentally-removed 'text' theme (#47)

Author: exellentcoin26

pkgs/themes.nix

@@ -223,7 +223,19 @@ in {
           }
         '';
       };
-
+      text = {
+        name = "text";
+        src = officialThemes;
+        patches = {
+          "xpui.js_find_8008" = ",(\\w+=)56";
+          "xpui.js_repl_8008" = ",$\{1}32";
+        };
+        injectCss = true;
+        replaceColors = true;
+        appendName = true;
+        overwriteAssets = false;
+        sidebarConfig = false;
+      };
       Dreary = {
         name = "Dreary";
         src = officialThemes;