From 91777bca56468e4f5e04371f67622c107804be8f Mon Sep 17 00:00:00 2001
From: Alessandro Farcas <provolaplayer@gmail.com>
Date: Thu, 31 Dec 2020 21:55:17 +0100
Subject: [PATCH 1/2] Added the sonokai theme

This is an amazing theme similar to monokai
---
 static/themes/list.json   |  5 +++++
 static/themes/sonokai.css | 11 +++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 static/themes/sonokai.css

diff --git a/static/themes/list.json b/static/themes/list.json
index 1816b263f..63137958f 100644
--- a/static/themes/list.json
+++ b/static/themes/list.json
@@ -186,6 +186,11 @@
   },
   {
     "name": "monokai",
+    "bgColor": "#2C2E34",
+    "textColor": "#E2E2E3"
+  },
+  {
+    "name": "sonokai",
     "bgColor": "#272822",
     "textColor": "#E6DB74"
   },
diff --git a/static/themes/sonokai.css b/static/themes/sonokai.css
new file mode 100644
index 000000000..305e6a5b2
--- /dev/null
+++ b/static/themes/sonokai.css
@@ -0,0 +1,11 @@
+:root {
+  --bg-color: #2c2e34;
+  --main-color: #9ed072;
+  --caret-color: #f38c71;
+  --sub-color: #e7c664;
+  --text-color: #e2e2e3;
+  --error-color: #fc5d7c;
+  --error-extra-color: #ecac6a;
+  --colorful-error-color: #fc5d7c;
+  --colorful-error-extra-color: #ecac6a;
+}

From f26c860b9c1e2c2816d9b402bbd7394e7eaad6df Mon Sep 17 00:00:00 2001
From: Provola23 <48835249+Provola23@users.noreply.github.com>
Date: Fri, 1 Jan 2021 17:15:49 +0100
Subject: [PATCH 2/2] Fixed the list bgColor for monokai and sonokai

---
 static/themes/list.json | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/static/themes/list.json b/static/themes/list.json
index 63137958f..98f574a1e 100644
--- a/static/themes/list.json
+++ b/static/themes/list.json
@@ -186,13 +186,13 @@
   },
   {
     "name": "monokai",
-    "bgColor": "#2C2E34",
-    "textColor": "#E2E2E3"
+    "bgColor": "#272822",
+    "textColor": "#E6DB74"
   },
   {
     "name": "sonokai",
-    "bgColor": "#272822",
-    "textColor": "#E6DB74"
+    "bgColor": "#2C2E34",
+    "textColor": "#E2E2E3"
   },
   {
     "name": "camping",