fixed themes

theme-Dark.css

@@ -1,6 +1,3 @@
-@import "../chroma/dark.css";
-@import "../codemirror/dark.css";
-
 :root {
   --is-dark-theme: true;
   --color-primary: #3d86ff;
@@ -342,3 +339,339 @@
 .emoji[aria-label="musical notes"] {
   filter: invert(100%) hue-rotate(180deg);
 }
+
+/* manual codemirror and chroma overrides */
+.chroma .bp {
+    color: #fabd2f
+  }
+
+  .chroma .c,
+  .chroma .c1,
+  .chroma .ch,
+  .chroma .cm {
+    color: #777e94
+  }
+
+  .chroma .cp {
+    color: #8ec07c
+  }
+
+  .chroma .cpf {
+    color: #649bc4
+  }
+
+  .chroma .cs {
+    color: #9075cd
+  }
+
+  .chroma .dl {
+    color: #649bc4
+  }
+
+  .chroma .gd {
+    color: #fff;
+    background-color: #5f3737
+  }
+
+  .chroma .ge {
+    color: #ddee30
+  }
+
+  .chroma .gh {
+    color: #ffaa10
+  }
+
+  .chroma .gi {
+    color: #fff;
+    background-color: #3a523a
+  }
+
+  .chroma .go {
+    color: #777e94
+  }
+
+  .chroma .gp {
+    color: #ebdbb2
+  }
+
+  .chroma .gr {
+    color: #f43
+  }
+
+  .chroma .gs {
+    color: #ebdbb2
+  }
+
+  .chroma .gt {
+    color: #ff7540
+  }
+
+  .chroma .gu {
+    color: #b8bb26
+  }
+
+  .chroma .il {
+    color: #649bc4
+  }
+
+  .chroma .k {
+    color: #ff7540
+  }
+
+  .chroma .kc {
+    color: #649bc4
+  }
+
+  .chroma .kd {
+    color: #ff7540
+  }
+
+  .chroma .kn {
+    color: #ffaa10
+  }
+
+  .chroma .kp {
+    color: #5f8700
+  }
+
+  .chroma .kr {
+    color: #ff7540
+  }
+
+  .chroma .kt {
+    color: #ff7b72
+  }
+
+  .chroma .m,
+  .chroma .mb,
+  .chroma .mf,
+  .chroma .mh,
+  .chroma .mi,
+  .chroma .mo {
+    color: #649bc4
+  }
+
+  .chroma .n {
+    color: #c9d1d9
+  }
+
+  .chroma .na,
+  .chroma .nb {
+    color: #fabd2f
+  }
+
+  .chroma .nc {
+    color: #ffaa10
+  }
+
+  .chroma .nd {
+    color: #8ec07c
+  }
+
+  .chroma .ne {
+    color: #ff7540
+  }
+
+  .chroma .nf,
+  .chroma .ni {
+    color: #fabd2f
+  }
+
+  .chroma .nl {
+    color: #ff7540
+  }
+
+  .chroma .nn {
+    color: #c9d1d9
+  }
+
+  .chroma .no {
+    color: #649bc4
+  }
+
+  .chroma .nt {
+    color: #ff7540
+  }
+
+  .chroma .nv {
+    color: #ebdbb2
+  }
+
+  .chroma .nx {
+    color: #b6bac5
+  }
+
+  .chroma .o {
+    color: #ff7540
+  }
+
+  .chroma .ow {
+    color: #5f8700
+  }
+
+  .chroma .p {
+    color: #d2d4db
+  }
+
+  .chroma .s,
+  .chroma .s1,
+  .chroma .s2 {
+    color: #b8bb26
+  }
+
+  .chroma .sa {
+    color: #ffaa10
+  }
+
+  .chroma .sb {
+    color: #b8bb26
+  }
+
+  .chroma .sc {
+    color: #ffaa10
+  }
+
+  .chroma .sd {
+    color: #b8bb26
+  }
+
+  .chroma .se {
+    color: #ff8540
+  }
+
+  .chroma .sh {
+    color: #b8bb26
+  }
+
+  .chroma .si {
+    color: #ffaa10
+  }
+
+  .chroma .sr {
+    color: #9075cd
+  }
+
+  .chroma .ss {
+    color: #ff8540
+  }
+
+  .chroma .sx {
+    color: #ffaa10
+  }
+
+  .chroma .vc,
+  .chroma .vg,
+  .chroma .vi {
+    color: #649bee
+  }
+
+  .chroma .w {
+    color: #7f8699
+  }
+
+  .CodeMirror.cm-s-default .cm-property,
+  .CodeMirror.cm-s-paper .cm-property {
+    color: #a0cc75
+  }
+
+  .CodeMirror.cm-s-default .cm-header,
+  .CodeMirror.cm-s-paper .cm-header {
+    color: #9daccc
+  }
+
+  .CodeMirror.cm-s-default .cm-quote,
+  .CodeMirror.cm-s-paper .cm-quote {
+    color: #090
+  }
+
+  .CodeMirror.cm-s-default .cm-keyword,
+  .CodeMirror.cm-s-paper .cm-keyword {
+    color: #cc8a61
+  }
+
+  .CodeMirror.cm-s-default .cm-atom,
+  .CodeMirror.cm-s-paper .cm-atom {
+    color: #ef5e77
+  }
+
+  .CodeMirror.cm-s-default .cm-number,
+  .CodeMirror.cm-s-paper .cm-number {
+    color: #ff5656
+  }
+
+  .CodeMirror.cm-s-default .cm-def,
+  .CodeMirror.cm-s-paper .cm-def {
+    color: #e4e4e4
+  }
+
+  .CodeMirror.cm-s-default .cm-variable-2,
+  .CodeMirror.cm-s-paper .cm-variable-2 {
+    color: #00bdbf
+  }
+
+  .CodeMirror.cm-s-default .cm-variable-3,
+  .CodeMirror.cm-s-paper .cm-variable-3 {
+    color: #085
+  }
+
+  .CodeMirror.cm-s-default .cm-comment,
+  .CodeMirror.cm-s-paper .cm-comment {
+    color: #8e9ab3
+  }
+
+  .CodeMirror.cm-s-default .cm-string,
+  .CodeMirror.cm-s-paper .cm-string {
+    color: #a77272
+  }
+
+  .CodeMirror.cm-s-default .cm-string-2,
+  .CodeMirror.cm-s-paper .cm-string-2 {
+    color: #f50
+  }
+
+  .CodeMirror.cm-s-default .cm-meta,
+  .CodeMirror.cm-s-paper .cm-meta,
+  .CodeMirror.cm-s-default .cm-qualifier,
+  .CodeMirror.cm-s-paper .cm-qualifier {
+    color: #ffb176
+  }
+
+  .CodeMirror.cm-s-default .cm-builtin,
+  .CodeMirror.cm-s-paper .cm-builtin {
+    color: #b7c951
+  }
+
+  .CodeMirror.cm-s-default .cm-bracket,
+  .CodeMirror.cm-s-paper .cm-bracket {
+    color: #997
+  }
+
+  .CodeMirror.cm-s-default .cm-tag,
+  .CodeMirror.cm-s-paper .cm-tag {
+    color: #f1d273
+  }
+
+  .CodeMirror.cm-s-default .cm-attribute,
+  .CodeMirror.cm-s-paper .cm-attribute {
+    color: #bfcc70
+  }
+
+  .CodeMirror.cm-s-default .cm-hr,
+  .CodeMirror.cm-s-paper .cm-hr {
+    color: #999
+  }
+
+  .CodeMirror.cm-s-default .cm-url,
+  .CodeMirror.cm-s-paper .cm-url {
+    color: #c5cfd0
+  }
+
+  .CodeMirror.cm-s-default .cm-link,
+  .CodeMirror.cm-s-paper .cm-link {
+    color: #d8c792
+  }
+
+  .CodeMirror.cm-s-default .cm-error,
+  .CodeMirror.cm-s-paper .cm-error {
+    color: #dbdbeb
+  }

theme-Light.css

@@ -1,7 +1,3 @@
-@import "../chroma/base.css";
-@import "../chroma/dark.css";
-@import "../codemirror/dark.css";
-
 :root {
   --is-dark-theme: true;
   --color-primary: #3d86ff;
@@ -344,3 +340,208 @@
 .emoji[aria-label="musical notes"] {
   filter: invert(100%) hue-rotate(180deg);
 }
+
+/* manual chroma and codemirror overrides */
+.chroma .bp {
+    color: #999
+  }
+
+  .chroma .c,
+  .chroma .c1,
+  .chroma .ch {
+    color: #6a737d
+  }
+
+  .chroma .cm {
+    color: #998
+  }
+
+  .chroma .cp {
+    color: #109295
+  }
+
+  .chroma .cpf {
+    color: #4c4dbc
+  }
+
+  .chroma .cs {
+    color: #999
+  }
+
+  .chroma .dl {
+    color: #106303
+  }
+
+  .chroma .gd {
+    color: #000;
+    background-color: #fdd
+  }
+
+  .chroma .ge {
+    color: #000
+  }
+
+  .chroma .gh {
+    color: #999
+  }
+
+  .chroma .gi {
+    color: #000;
+    background-color: #dfd
+  }
+
+  .chroma .go {
+    color: #888
+  }
+
+  .chroma .gp {
+    color: #555
+  }
+
+  .chroma .gr,
+  .chroma .gt {
+    color: #a00
+  }
+
+  .chroma .gu {
+    color: #aaa
+  }
+
+  .chroma .il {
+    color: #099
+  }
+
+  .chroma .k,
+  .chroma .kc,
+  .chroma .kd,
+  .chroma .kn,
+  .chroma .kp,
+  .chroma .kr {
+    color: #d73a49
+  }
+
+  .chroma .kt {
+    color: #458
+  }
+
+  .chroma .m,
+  .chroma .mb,
+  .chroma .mf,
+  .chroma .mh,
+  .chroma .mi,
+  .chroma .mo {
+    color: #099
+  }
+
+  .chroma .na {
+    color: #d73a49
+  }
+
+  .chroma .nb {
+    color: #005cc5
+  }
+
+  .chroma .nc {
+    color: #458
+  }
+
+  .chroma .nd {
+    color: #3c5d5d
+  }
+
+  .chroma .ne {
+    color: #900
+  }
+
+  .chroma .nf {
+    color: #005cc5
+  }
+
+  .chroma .ni {
+    color: #6f42c1
+  }
+
+  .chroma .nl {
+    color: #900
+  }
+
+  .chroma .nn {
+    color: #555
+  }
+
+  .chroma .no {
+    color: teal
+  }
+
+  .chroma .nt {
+    color: #22863a
+  }
+
+  .chroma .nv {
+    color: teal
+  }
+
+  .chroma .nx {
+    color: #24292e
+  }
+
+  .chroma .o,
+  .chroma .ow {
+    color: #d73a49
+  }
+
+  .chroma .s,
+  .chroma .s1,
+  .chroma .s2 {
+    color: #106303
+  }
+
+  .chroma .sa {
+    color: #cc7a00
+  }
+
+  .chroma .sb {
+    color: #106303
+  }
+
+  .chroma .sc {
+    color: #cc7a00
+  }
+
+  .chroma .sd {
+    color: #106303
+  }
+
+  .chroma .se {
+    color: #940
+  }
+
+  .chroma .sh {
+    color: #106303
+  }
+
+  .chroma .si {
+    color: #cc7a00
+  }
+
+  .chroma .sr {
+    color: #4c4dbc
+  }
+
+  .chroma .ss {
+    color: #940
+  }
+
+  .chroma .sx {
+    color: #106303
+  }
+
+  .chroma .vc,
+  .chroma .vg,
+  .chroma .vi {
+    color: teal
+  }
+
+  .chroma .w {
+    color: #bbb
+  }