aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor/EditorTheme.ts
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r--subprojects/frontend/src/editor/EditorTheme.ts13
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': {