From 91db36bc014f5ba9b66ee32f9d045fdb53347d2a Mon Sep 17 00:00:00 2001
From: Tim Down <158919+timdown@users.noreply.github.com>
Date: Tue, 2 May 2023 15:06:29 +0100
Subject: [PATCH] Merge pull request #12883 from
 overleaf/td-history-deletion-marker-fix

History migration: Fix deletion marker class in theme

GitOrigin-RevId: d84c97632f467b116024ffc0992970b9aa586294
---
 .../frontend/js/features/history/extensions/highlights.ts  | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/services/web/frontend/js/features/history/extensions/highlights.ts b/services/web/frontend/js/features/history/extensions/highlights.ts
index 3da940af22..4ac975b017 100644
--- a/services/web/frontend/js/features/history/extensions/highlights.ts
+++ b/services/web/frontend/js/features/history/extensions/highlights.ts
@@ -74,13 +74,8 @@ const theme = EditorView.baseTheme({
     paddingBottom: 'var(--half-leading)',
     backgroundColor: 'hsl(var(--hue), 70%, 85%)',
   },
-  '.ol-deletion-marker': {
+  '.ol-cm-deletion-marker': {
     textDecoration: 'line-through',
-  },
-  '&.overall-theme-dark .ol-deletion-marker': {
-    color: 'hsl(var(--hue), 100%, 60%)',
-  },
-  '&.overall-theme-light .ol-deletion-marker': {
     color: 'hsl(var(--hue), 70%, 40%)',
   },
   '.cm-tooltip-hover': {