diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-08-21 13:32:32 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-21 18:59:23 +0200 |
commit | d1f85fda716aee15121e9064ee99c4390fac41bd (patch) | |
tree | 2a5fe884bb51ad7d2731c834c9c6da5f21d63484 /subprojects/frontend/src/editor/EditorTheme.ts | |
parent | refactor(frontend): improve code splitting (diff) | |
download | refinery-d1f85fda716aee15121e9064ee99c4390fac41bd.tar.gz refinery-d1f85fda716aee15121e9064ee99c4390fac41bd.tar.zst refinery-d1f85fda716aee15121e9064ee99c4390fac41bd.zip |
refactor(frontend): theme improvements
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index ca07d602..dfeeb547 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -14,8 +14,10 @@ export default styled('div', { | |||
14 | })<{ showLineNumbers: boolean }>(({ theme, showLineNumbers }) => { | 14 | })<{ showLineNumbers: boolean }>(({ theme, showLineNumbers }) => { |
15 | const editorFontStyle = { | 15 | const editorFontStyle = { |
16 | ...theme.typography.editor, | 16 | ...theme.typography.editor, |
17 | fontWeight: theme.typography.fontWeightEditorNormal, | ||
17 | [theme.breakpoints.down('sm')]: { | 18 | [theme.breakpoints.down('sm')]: { |
18 | fontSize: '0.875rem', | 19 | // `rem` for JetBrains MonoVariable make the text too large in Safari. |
20 | fontSize: '14px', | ||
19 | lineHeight: 1.43, | 21 | lineHeight: 1.43, |
20 | }, | 22 | }, |
21 | }; | 23 | }; |
@@ -29,7 +31,12 @@ export default styled('div', { | |||
29 | color: theme.palette.text.secondary, | 31 | color: theme.palette.text.secondary, |
30 | }, | 32 | }, |
31 | '.cm-gutters': { | 33 | '.cm-gutters': { |
32 | background: theme.palette.background.default, | 34 | background: `linear-gradient( |
35 | to right, | ||
36 | ${theme.palette.background.default} 0%, | ||
37 | ${theme.palette.background.default} calc(100% - 12px), | ||
38 | transparent 100% | ||
39 | )`, | ||
33 | border: 'none', | 40 | border: 'none', |
34 | }, | 41 | }, |
35 | '.cm-content': { | 42 | '.cm-content': { |
@@ -93,7 +100,7 @@ export default styled('div', { | |||
93 | fontStyle: 'italic', | 100 | fontStyle: 'italic', |
94 | }, | 101 | }, |
95 | '.tok-problem-containment': { | 102 | '.tok-problem-containment': { |
96 | fontWeight: theme.typography.fontWeightBold, | 103 | fontWeight: theme.typography.fontWeightEditorBold, |
97 | textDecorationSkipInk: 'none', | 104 | textDecorationSkipInk: 'none', |
98 | }, | 105 | }, |
99 | '.tok-problem-error': { | 106 | '.tok-problem-error': { |