Merge pull request #27138 from overleaf/dp-overleaf-dark

Add overleaf dark editor theme GitOrigin-RevId: bd8cdbcc7ad6b56078611b7c2ab69008ea578ae7
2026-11-14 14:13:43 +01:00 · 2025-07-18 08:07:06 +00:00
parent 3fe4cd31b9
commit 5aacccc9d0
5 changed files with 108 additions and 24 deletions
@@ -61,6 +61,18 @@
      }
    }
  },
+  "overleaf-dark": {
+    "highlightStyle": {
+      ".tok-literal": {
+        "color": "#ff79c6"
+      }
+    },
+    "theme": {
+      ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {
+        "boxShadow": "0px 0px 0px 1px inset #a29709"
+      }
+    }
+  },
  "gruvbox": {
    "theme": {
      ".cm-selectionMatch.cm-selectionMatch, .cm-searchMatch.cm-searchMatch": {