diff options
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index dfeeb547..db051d0e 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -31,12 +31,7 @@ export default styled('div', { | |||
31 | color: theme.palette.text.secondary, | 31 | color: theme.palette.text.secondary, |
32 | }, | 32 | }, |
33 | '.cm-gutters': { | 33 | '.cm-gutters': { |
34 | background: `linear-gradient( | 34 | background: theme.palette.background.default, |
35 | to right, | ||
36 | ${theme.palette.background.default} 0%, | ||
37 | ${theme.palette.background.default} calc(100% - 12px), | ||
38 | transparent 100% | ||
39 | )`, | ||
40 | border: 'none', | 35 | border: 'none', |
41 | }, | 36 | }, |
42 | '.cm-content': { | 37 | '.cm-content': { |
@@ -170,7 +165,9 @@ export default styled('div', { | |||
170 | '.cm-panels-top': { | 165 | '.cm-panels-top': { |
171 | color: theme.palette.text.primary, | 166 | color: theme.palette.text.primary, |
172 | borderBottom: `1px solid ${theme.palette.outer.border}`, | 167 | borderBottom: `1px solid ${theme.palette.outer.border}`, |
173 | marginBottom: theme.spacing(1), | 168 | }, |
169 | '.cm-panels-top + div + .cm-scroller': { | ||
170 | paddingTop: theme.spacing(0.5), | ||
174 | }, | 171 | }, |
175 | '.cm-panel': { | 172 | '.cm-panel': { |
176 | color: theme.palette.text.primary, | 173 | color: theme.palette.text.primary, |