Update app.py

app.py

@@ -56,11 +56,28 @@ ANALYSES = [
 ]
 
 EDITOR_CSS = """
-#analysis-code .cm-editor,
-#analysis-code .cm-content,
-#analysis-code .cm-scroller {
-    background: #292d30 !important;
-    color: #dddddd !important;
+#analysis-code .cm-editor {
+    background: #292d30;
+    color: #dddddd;
+    font-family: "JetBrains Mono", "Cascadia Code", "DejaVu Sans Mono", monospace;
+    font-size: 14px;
+    line-height: 1.65;
+}
+#analysis-code .cm-gutters {
+    background: #292d30;
+    color: #a0a0a0;
+    border-right: 1px solid #454a4e;
+}
+#analysis-code .cm-activeLine,
+#analysis-code .cm-activeLineGutter {
+    background: #343a3f;
+}
+#analysis-code .cm-cursor {
+    border-left-color: #fda331;
+}
+#analysis-code .cm-selectionBackground,
+#analysis-code .cm-content ::selection {
+    background: #46596b !important;
 }
 """
 
@@ -69,7 +86,7 @@ DARK_MODE_HEAD = """<script>
 (() => {
     const url = new URL(window.location.href);
     if (!url.searchParams.has("__theme")) {
-        url.searchParams.set("__theme", "light");
+        url.searchParams.set("__theme", "dark");
         window.location.replace(url);
     }
 })();