Darken other code editors as well (pvdstel#2)

* Darken code editor for metal theme * Darken code editor for dark theme
phpony · Aug 9, 2019 · 3f5ec08 · 3f5ec08
1 parent 2245fc3
commit 3f5ec08
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/themes/dark.json b/themes/dark.json
@@ -21,5 +21,5 @@
     "errorTextColor": "#e53935",
     "mentionHighlightBg": "#4A4943",
     "mentionHighlightLink": "#03a9f4",
-    "codeTheme": "github"
-}
+    "codeTheme": "monokai"
+}
diff --git a/themes/metal.json b/themes/metal.json
@@ -21,5 +21,5 @@
     "errorTextColor": "#e53935",
     "mentionHighlightBg": "#71706A",
     "mentionHighlightLink": "#81d4fa",
-    "codeTheme": "github"
-}
+    "codeTheme": "monokai"
+}