diff --git a/theme/dracula.css b/theme/dracula.css
index 5badef282ec1b4c482cd24c114db63c3b560bbd1..5c524920332a9659b230285b2dc6d1799ff7713b 100644
--- a/theme/dracula.css
+++ b/theme/dracula.css
@@ -13,75 +13,29 @@
   color: #f8f8f2 !important;
   border: none;
 }
-.cm-s-dracula .CodeMirror-gutters{
-  color: #282a36;
-}
-.cm-s-dracula .CodeMirror-cursor {
-  border-left: solid thin #f8f8f0 !important;
-}
-.cm-s-dracula .CodeMirror-linenumber {
-  color: #6D8A88;
-}
-.cm-s-dracula.CodeMirror-focused .CodeMirror-selected {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-dracula .CodeMirror-line::selection, .cm-s-dracula .CodeMirror-line > span::selection, .cm-s-dracula .CodeMirror-line > span > span::selection {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-dracula .CodeMirror-line::-moz-selection, .cm-s-dracula .CodeMirror-line > span::-moz-selection, .cm-s-dracula .CodeMirror-line > span > span::-moz-selection {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-dracula span.cm-comment {
-  color: #6272a4;
-}
-.cm-s-dracula span.cm-string, .cm-s-dracula span.cm-string-2 {
-  color: #f1fa8c;
-}
-.cm-s-dracula span.cm-number {
-  color: #bd93f9;
-}
-.cm-s-dracula span.cm-variable {
-  color: #50fa7b;
-}
-.cm-s-dracula span.cm-variable-2 {
-  color: white;
-}
-.cm-s-dracula span.cm-def {
-  color: #ffb86c;
-}
-.cm-s-dracula span.cm-keyword {
-  color: #ff79c6;
-}
-.cm-s-dracula span.cm-operator {
-  color: #ff79c6;
-}
-.cm-s-dracula span.cm-keyword {
-  color: #ff79c6;
-}
-.cm-s-dracula span.cm-atom {
-  color: #bd93f9;
-}
-.cm-s-dracula span.cm-meta {
-  color: #f8f8f2;
-}
-.cm-s-dracula span.cm-tag {
-  color: #ff79c6;
-}
-.cm-s-dracula span.cm-attribute {
-  color: #50fa7b;
-}
-.cm-s-dracula span.cm-qualifier {
-  color: #50fa7b;
-}
-.cm-s-dracula span.cm-property {
-  color: #66d9ef;
-}
-.cm-s-dracula span.cm-builtin {
-  color: #50fa7b;
-}
-.cm-s-dracula span.cm-variable-3 {
-  color: #50fa7b;
-}
+.cm-s-dracula .CodeMirror-gutters { color: #282a36; }
+.cm-s-dracula .CodeMirror-cursor { border-left: solid thin #f8f8f0 !important; }
+.cm-s-dracula .CodeMirror-linenumber { color: #6D8A88; }
+.cm-s-dracula.CodeMirror-focused .CodeMirror-selected { background: rgba(255, 255, 255, 0.10); }
+.cm-s-dracula .CodeMirror-line::selection, .cm-s-dracula .CodeMirror-line > span::selection, .cm-s-dracula .CodeMirror-line > span > span::selection { background: rgba(255, 255, 255, 0.10); }
+.cm-s-dracula .CodeMirror-line::-moz-selection, .cm-s-dracula .CodeMirror-line > span::-moz-selection, .cm-s-dracula .CodeMirror-line > span > span::-moz-selection { background: rgba(255, 255, 255, 0.10); }
+.cm-s-dracula span.cm-comment { color: #6272a4; }
+.cm-s-dracula span.cm-string, .cm-s-dracula span.cm-string-2 { color: #f1fa8c; }
+.cm-s-dracula span.cm-number { color: #bd93f9; }
+.cm-s-dracula span.cm-variable { color: #50fa7b; }
+.cm-s-dracula span.cm-variable-2 { color: white; }
+.cm-s-dracula span.cm-def { color: #ffb86c; }
+.cm-s-dracula span.cm-keyword { color: #ff79c6; }
+.cm-s-dracula span.cm-operator { color: #ff79c6; }
+.cm-s-dracula span.cm-keyword { color: #ff79c6; }
+.cm-s-dracula span.cm-atom { color: #bd93f9; }
+.cm-s-dracula span.cm-meta { color: #f8f8f2; }
+.cm-s-dracula span.cm-tag { color: #ff79c6; }
+.cm-s-dracula span.cm-attribute { color: #50fa7b; }
+.cm-s-dracula span.cm-qualifier { color: #50fa7b; }
+.cm-s-dracula span.cm-property { color: #66d9ef; }
+.cm-s-dracula span.cm-builtin { color: #50fa7b; }
+.cm-s-dracula span.cm-variable-3 { color: #50fa7b; }
 
 .cm-s-dracula .CodeMirror-activeline-background {background: rgba(255,255,255,0.1) !important;}
-.cm-s-dracula .CodeMirror-matchingbracket { text-decoration: underline; color: white !important;}
\ No newline at end of file
+.cm-s-dracula .CodeMirror-matchingbracket { text-decoration: underline; color: white !important;}
diff --git a/theme/material.css b/theme/material.css
index 85e1f185d52a431ffca9a13f1dfddb2f1c287b5b..b048cdc05fcb95ebadbc37a41cadd4ed5ace0c69 100644
--- a/theme/material.css
+++ b/theme/material.css
@@ -16,90 +16,38 @@
   color: rgb(83,127,126);
   border: none;
 }
-.cm-s-material .CodeMirror-guttermarker, .cm-s-material .CodeMirror-guttermarker-subtle, .cm-s-material .CodeMirror-linenumber {
-  color: rgb(83,127,126);
-}
-.cm-s-material .CodeMirror-cursor {
-  border-left: 1px solid #f8f8f0 !important;
-}
-.cm-s-material .CodeMirror-selected {
-  background: rgba(255, 255, 255, 0.15);
-}
-.cm-s-material.CodeMirror-focused .CodeMirror-selected {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-material .CodeMirror-line::selection, .cm-s-material .CodeMirror-line > span::selection, .cm-s-material .CodeMirror-line > span > span::selection {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-material .CodeMirror-line::-moz-selection, .cm-s-material .CodeMirror-line > span::-moz-selection, .cm-s-material .CodeMirror-line > span > span::-moz-selection {
-  background: rgba(255, 255, 255, 0.10);
-}
+.cm-s-material .CodeMirror-guttermarker, .cm-s-material .CodeMirror-guttermarker-subtle, .cm-s-material .CodeMirror-linenumber { color: rgb(83,127,126); }
+.cm-s-material .CodeMirror-cursor { border-left: 1px solid #f8f8f0 !important; }
+.cm-s-material .CodeMirror-selected { background: rgba(255, 255, 255, 0.15); }
+.cm-s-material.CodeMirror-focused .CodeMirror-selected { background: rgba(255, 255, 255, 0.10); }
+.cm-s-material .CodeMirror-line::selection, .cm-s-material .CodeMirror-line > span::selection, .cm-s-material .CodeMirror-line > span > span::selection { background: rgba(255, 255, 255, 0.10); }
+.cm-s-material .CodeMirror-line::-moz-selection, .cm-s-material .CodeMirror-line > span::-moz-selection, .cm-s-material .CodeMirror-line > span > span::-moz-selection { background: rgba(255, 255, 255, 0.10); }
 
-.CodeMirror-activeline-background {
-  background: rgba(0, 0, 0, 0) !important;
-}
-.cm-s-material span.cm-keyword {
-  color: rgba(199, 146, 234, 1);
-}
-.cm-s-material span.cm-operator {
-  color: rgba(233, 237, 237, 1);
-}
-.cm-s-material span.cm-variable-2 {
-  color: #80CBC4;
-}
-.cm-s-material span.cm-variable-3 {
-  color: #82B1FF;
-}
-.cm-s-material span.cm-builtin {
-  color: #DECB6B;
-}
-.cm-s-material span.cm-atom {
-  color: #F77669;
-}
-.cm-s-material span.cm-number {
-  color: #F77669;
-}
-.cm-s-material span.cm-def {
-  color: rgba(233, 237, 237, 1);
-}
+.CodeMirror-activeline-background { background: rgba(0, 0, 0, 0) !important; }
+.cm-s-material span.cm-keyword { color: rgba(199, 146, 234, 1); }
+.cm-s-material span.cm-operator { color: rgba(233, 237, 237, 1); }
+.cm-s-material span.cm-variable-2 { color: #80CBC4; }
+.cm-s-material span.cm-variable-3 { color: #82B1FF; }
+.cm-s-material span.cm-builtin { color: #DECB6B; }
+.cm-s-material span.cm-atom { color: #F77669; }
+.cm-s-material span.cm-number { color: #F77669; }
+.cm-s-material span.cm-def { color: rgba(233, 237, 237, 1); }
 .cm-s-material span.cm-error {
   color: rgba(255, 255, 255, 1.0);
   background-color: #EC5F67;
 }
-.cm-s-material span.cm-string {
-  color: #C3E88D;
-}
-.cm-s-material span.cm-string-2 {
-  color: #80CBC4;
-}
-.cm-s-material span.cm-comment {
-  color: #546E7A;
-}
-.cm-s-material span.cm-variable {
-  color: #82B1FF;
-}
-.cm-s-material span.cm-tag {
-  color: #80CBC4;
-}
-.cm-s-material span.cm-meta{
-  color: #80CBC4;
-}
-.cm-s-material span.cm-attribute {
-  color: #FFCB6B;
-}
-.cm-s-material span.cm-property {
-  color: #80CBAE;
-}
-.cm-s-material span.cm-qualifier {
-  color: #DECB6B;
-}
-.cm-s-material span.cm-variable-3{
-  color: #DECB6B;
-}
-.cm-s-material span.cm-tag {
-  color: rgba(255, 83, 112, 1);
-}
+.cm-s-material span.cm-string { color: #C3E88D; }
+.cm-s-material span.cm-string-2 { color: #80CBC4; }
+.cm-s-material span.cm-comment { color: #546E7A; }
+.cm-s-material span.cm-variable { color: #82B1FF; }
+.cm-s-material span.cm-tag { color: #80CBC4; }
+.cm-s-material span.cm-meta{ color: #80CBC4; }
+.cm-s-material span.cm-attribute { color: #FFCB6B; }
+.cm-s-material span.cm-property { color: #80CBAE; }
+.cm-s-material span.cm-qualifier { color: #DECB6B; }
+.cm-s-material span.cm-variable-3{ color: #DECB6B; }
+.cm-s-material span.cm-tag { color: rgba(255, 83, 112, 1); }
 .cm-s-material .CodeMirror-matchingbracket {
   text-decoration: underline;
   color: white !important;
-}
\ No newline at end of file
+}
diff --git a/theme/seti.css b/theme/seti.css
index ea27d5eee7c613523ba6212fa02c1142ae90f477..4032b5a859727668a09d4fdc63880e2ccd5c1d5c 100644
--- a/theme/seti.css
+++ b/theme/seti.css
@@ -18,71 +18,27 @@
   background-color: #0E1112;
   border: none;
 }
-.cm-s-seti .CodeMirror-cursor {
-  border-left: solid thin #f8f8f0 !important;
-}
-.cm-s-seti .CodeMirror-linenumber {
-  color: #6D8A88;
-}
-.cm-s-seti.CodeMirror-focused .CodeMirror-selected {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-seti .CodeMirror-line::selection, .cm-s-seti .CodeMirror-line > span::selection, .cm-s-seti .CodeMirror-line > span > span::selection {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-seti .CodeMirror-line::-moz-selection, .cm-s-seti .CodeMirror-line > span::-moz-selection, .cm-s-seti .CodeMirror-line > span > span::-moz-selection {
-  background: rgba(255, 255, 255, 0.10);
-}
-.cm-s-seti span.cm-comment {
-  color: #41535b;
-}
-.cm-s-seti span.cm-string, .cm-s-seti span.cm-string-2 {
-  color: #55b5db;
-}
-.cm-s-seti span.cm-number {
-  color: #cd3f45;
-}
-.cm-s-seti span.cm-variable {
-  color: #55b5db;
-}
-.cm-s-seti span.cm-variable-2 {
-  color: #a074c4;
-}
-.cm-s-seti span.cm-def {
-  color: #55b5db;
-}
-.cm-s-seti span.cm-keyword {
-  color: #ff79c6;
-}
-.cm-s-seti span.cm-operator {
-  color: #9fca56;
-}
-.cm-s-seti span.cm-keyword {
-  color: #e6cd69;
-}
-.cm-s-seti span.cm-atom {
-  color: #cd3f45;
-}
-.cm-s-seti span.cm-meta {
-  color: #55b5db;
-}
-.cm-s-seti span.cm-tag {
-  color: #55b5db;
-}
-.cm-s-seti span.cm-attribute {
-  color: #9fca56;
-}
-.cm-s-seti span.cm-qualifier {
-  color: #9fca56;
-}
-.cm-s-seti span.cm-property {
-  color: #a074c4;
-}
-.cm-s-seti span.cm-variable-3 {
-  color: #9fca56;
-}
-.cm-s-seti span.cm-builtin {
-  color: #9fca56;
-}
+.cm-s-seti .CodeMirror-cursor { border-left: solid thin #f8f8f0 !important; }
+.cm-s-seti .CodeMirror-linenumber { color: #6D8A88; }
+.cm-s-seti.CodeMirror-focused .CodeMirror-selected { background: rgba(255, 255, 255, 0.10); }
+.cm-s-seti .CodeMirror-line::selection, .cm-s-seti .CodeMirror-line > span::selection, .cm-s-seti .CodeMirror-line > span > span::selection { background: rgba(255, 255, 255, 0.10); }
+.cm-s-seti .CodeMirror-line::-moz-selection, .cm-s-seti .CodeMirror-line > span::-moz-selection, .cm-s-seti .CodeMirror-line > span > span::-moz-selection { background: rgba(255, 255, 255, 0.10); }
+.cm-s-seti span.cm-comment { color: #41535b; }
+.cm-s-seti span.cm-string, .cm-s-seti span.cm-string-2 { color: #55b5db; }
+.cm-s-seti span.cm-number { color: #cd3f45; }
+.cm-s-seti span.cm-variable { color: #55b5db; }
+.cm-s-seti span.cm-variable-2 { color: #a074c4; }
+.cm-s-seti span.cm-def { color: #55b5db; }
+.cm-s-seti span.cm-keyword { color: #ff79c6; }
+.cm-s-seti span.cm-operator { color: #9fca56; }
+.cm-s-seti span.cm-keyword { color: #e6cd69; }
+.cm-s-seti span.cm-atom { color: #cd3f45; }
+.cm-s-seti span.cm-meta { color: #55b5db; }
+.cm-s-seti span.cm-tag { color: #55b5db; }
+.cm-s-seti span.cm-attribute { color: #9fca56; }
+.cm-s-seti span.cm-qualifier { color: #9fca56; }
+.cm-s-seti span.cm-property { color: #a074c4; }
+.cm-s-seti span.cm-variable-3 { color: #9fca56; }
+.cm-s-seti span.cm-builtin { color: #9fca56; }
 .cm-s-seti .CodeMirror-activeline-background {background: #101213 !important;}
-.cm-s-seti .CodeMirror-matchingbracket { text-decoration: underline; color: white !important;}
\ No newline at end of file
+.cm-s-seti .CodeMirror-matchingbracket { text-decoration: underline; color: white !important;}
diff --git a/theme/yeti.css b/theme/yeti.css
index bd441fcb9cd5e5d7435d0a2d498d5e5a66ddeabc..0b0a72edac1125c445a61a5f26a62516e6daa9ea 100644
--- a/theme/yeti.css
+++ b/theme/yeti.css
@@ -19,68 +19,26 @@
   background-color: #E5E1DB;
   border: none;
 }
-.cm-s-yeti .CodeMirror-cursor {
-  border-left: solid thin #d1c9c0 !important;
-}
-.cm-s-yeti .CodeMirror-linenumber {
-  color: #adaba6;
-}
-.cm-s-yeti.CodeMirror-focused .CodeMirror-selected {
-  background: #DCD8D2;
-}
-.cm-s-yeti .CodeMirror-line::selection, .cm-s-yeti .CodeMirror-line > span::selection, .cm-s-yeti .CodeMirror-line > span > span::selection {
-  background: #DCD8D2;
-}
-.cm-s-yeti .CodeMirror-line::-moz-selection, .cm-s-yeti .CodeMirror-line > span::-moz-selection, .cm-s-yeti .CodeMirror-line > span > span::-moz-selection {
-  background: #DCD8D2;
-}
-.cm-s-yeti span.cm-comment {
-  color: #d4c8be;
-}
-.cm-s-yeti span.cm-string, .cm-s-yeti span.cm-string-2 {
-  color: #96c0d8;
-}
-.cm-s-yeti span.cm-number {
-  color: #a074c4;
-}
-.cm-s-yeti span.cm-variable {
-  color: #55b5db;
-}
-.cm-s-yeti span.cm-variable-2 {
-  color: #a074c4;
-}
-.cm-s-yeti span.cm-def {
-  color: #55b5db;
-}
-.cm-s-yeti span.cm-operator {
-  color: #9fb96e;
-}
-.cm-s-yeti span.cm-keyword {
-  color: #9fb96e;
-}
-.cm-s-yeti span.cm-atom {
-  color: #a074c4;
-}
-.cm-s-yeti span.cm-meta {
-  color: #96c0d8;
-}
-.cm-s-yeti span.cm-tag {
-  color: #96c0d8;
-}
-.cm-s-yeti span.cm-attribute {
-  color: #9fb96e;
-}
-.cm-s-yeti span.cm-qualifier {
-  color: #96c0d8;
-}
-.cm-s-yeti span.cm-property {
-  color: #a074c4;
-}
-.cm-s-yeti span.cm-builtin {
-  color: #a074c4;
-}
-.cm-s-yeti span.cm-variable-3 {
-  color: #96c0d8;
-}
+.cm-s-yeti .CodeMirror-cursor { border-left: solid thin #d1c9c0 !important; }
+.cm-s-yeti .CodeMirror-linenumber { color: #adaba6; }
+.cm-s-yeti.CodeMirror-focused .CodeMirror-selected { background: #DCD8D2; }
+.cm-s-yeti .CodeMirror-line::selection, .cm-s-yeti .CodeMirror-line > span::selection, .cm-s-yeti .CodeMirror-line > span > span::selection { background: #DCD8D2; }
+.cm-s-yeti .CodeMirror-line::-moz-selection, .cm-s-yeti .CodeMirror-line > span::-moz-selection, .cm-s-yeti .CodeMirror-line > span > span::-moz-selection { background: #DCD8D2; }
+.cm-s-yeti span.cm-comment { color: #d4c8be; }
+.cm-s-yeti span.cm-string, .cm-s-yeti span.cm-string-2 { color: #96c0d8; }
+.cm-s-yeti span.cm-number { color: #a074c4; }
+.cm-s-yeti span.cm-variable { color: #55b5db; }
+.cm-s-yeti span.cm-variable-2 { color: #a074c4; }
+.cm-s-yeti span.cm-def { color: #55b5db; }
+.cm-s-yeti span.cm-operator { color: #9fb96e; }
+.cm-s-yeti span.cm-keyword { color: #9fb96e; }
+.cm-s-yeti span.cm-atom { color: #a074c4; }
+.cm-s-yeti span.cm-meta { color: #96c0d8; }
+.cm-s-yeti span.cm-tag { color: #96c0d8; }
+.cm-s-yeti span.cm-attribute { color: #9fb96e; }
+.cm-s-yeti span.cm-qualifier { color: #96c0d8; }
+.cm-s-yeti span.cm-property { color: #a074c4; }
+.cm-s-yeti span.cm-builtin { color: #a074c4; }
+.cm-s-yeti span.cm-variable-3 { color: #96c0d8; }
 .cm-s-yeti .CodeMirror-activeline-background {background: #E7E4E0 !important;}
 .cm-s-yeti .CodeMirror-matchingbracket { text-decoration: underline;}