diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-09-08 02:51:52 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-09-08 15:37:49 +0200 |
| commit | 6d1f78af96e4c0d1ad76c5791b93b0c2d83810e1 (patch) | |
| tree | c005aca6da89629fac5d4001a475babd2fcd590c /subprojects/frontend/src/editor/EditorTheme.ts | |
| parent | feat(frontend): check for updates periodically (diff) | |
| download | refinery-6d1f78af96e4c0d1ad76c5791b93b0c2d83810e1.tar.gz refinery-6d1f78af96e4c0d1ad76c5791b93b0c2d83810e1.tar.zst refinery-6d1f78af96e4c0d1ad76c5791b93b0c2d83810e1.zip | |
feat(frontend): editor area scroll shadow styling
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, |