github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-21 20:47:08 -05:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #20681 from overleaf/dp-highlight-height

Browse source 
Add padding to change highlight/focus styles

GitOrigin-RevId: 6543fe6545ff8e7baff23d5262b941a5473be19e
This commit is contained in:
David 2024-10-02 12:58:10 +01:00 committed by Copybot
parent 70535f9baa
commit 13545140ee
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
services/web/frontend/js/features/source-editor/extensions/ranges.ts
View file

@ -299,6 +299,12 @@ const trackChangesTheme = EditorView.baseTheme({
'.ol-cm-change': { '.ol-cm-change': {
padding: 'var(--half-leading, 0) 0', 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': { '.ol-cm-change-d': {
borderLeft: '2px dotted #c5060b', borderLeft: '2px dotted #c5060b',
marginLeft: '-1px', marginLeft: '-1px',