From 13545140ee4fbb9e037253096e4583d2996cae73 Mon Sep 17 00:00:00 2001
From: David <33458145+davidmcpowell@users.noreply.github.com>
Date: Wed, 2 Oct 2024 12:58:10 +0100
Subject: [PATCH] Merge pull request #20681 from overleaf/dp-highlight-height

Add padding to change highlight/focus styles

GitOrigin-RevId: 6543fe6545ff8e7baff23d5262b941a5473be19e
---
 .../frontend/js/features/source-editor/extensions/ranges.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/services/web/frontend/js/features/source-editor/extensions/ranges.ts b/services/web/frontend/js/features/source-editor/extensions/ranges.ts
index a3caf2b908..7ee26f0746 100644
--- a/services/web/frontend/js/features/source-editor/extensions/ranges.ts
+++ b/services/web/frontend/js/features/source-editor/extensions/ranges.ts
@@ -299,6 +299,12 @@ const trackChangesTheme = EditorView.baseTheme({
   '.ol-cm-change': {
     padding: 'var(--half-leading, 0) 0',
   },
+  '.ol-cm-change-highlight': {
+    padding: 'var(--half-leading, 0) 0',
+  },
+  '.ol-cm-change-focus': {
+    padding: 'var(--half-leading, 0) 0',
+  },
   '.ol-cm-change-d': {
     borderLeft: '2px dotted #c5060b',
     marginLeft: '-1px',