diff options
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index 3f2a3bff..01b65a7e 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -148,6 +148,7 @@ export default styled('div', { | |||
148 | '.cm-gutters': { | 148 | '.cm-gutters': { |
149 | background: theme.palette.background.default, | 149 | background: theme.palette.background.default, |
150 | border: 'none', | 150 | border: 'none', |
151 | marginRight: 1, | ||
151 | }, | 152 | }, |
152 | '.cm-content': { | 153 | '.cm-content': { |
153 | ...editorFontStyle, | 154 | ...editorFontStyle, |
@@ -161,6 +162,7 @@ export default styled('div', { | |||
161 | background: 'transparent', | 162 | background: 'transparent', |
162 | }, | 163 | }, |
163 | '.cm-cursor, .cm-cursor-primary': { | 164 | '.cm-cursor, .cm-cursor-primary': { |
165 | marginLeft: -1, | ||
164 | borderLeft: `2px solid ${theme.palette.info.main}`, | 166 | borderLeft: `2px solid ${theme.palette.info.main}`, |
165 | }, | 167 | }, |
166 | '.cm-selectionBackground': { | 168 | '.cm-selectionBackground': { |
@@ -450,11 +452,11 @@ export default styled('div', { | |||
450 | 452 | ||
451 | const foldStyle = { | 453 | const foldStyle = { |
452 | '.cm-foldGutter': { | 454 | '.cm-foldGutter': { |
453 | width: 18, | 455 | width: 17, |
454 | }, | 456 | }, |
455 | '.problem-editor-foldMarker': { | 457 | '.problem-editor-foldMarker': { |
456 | display: 'block', | 458 | display: 'block', |
457 | margin: '4px 2px 4px 0', | 459 | margin: '4px 1px 4px 0', |
458 | padding: 0, | 460 | padding: 0, |
459 | maskImage: svgURL(expandMoreSVG), | 461 | maskImage: svgURL(expandMoreSVG), |
460 | maskSize: '16px 16px', | 462 | maskSize: '16px 16px', |
@@ -465,7 +467,7 @@ export default styled('div', { | |||
465 | cursor: 'pointer', | 467 | cursor: 'pointer', |
466 | WebkitTapHighlightColor: 'transparent', | 468 | WebkitTapHighlightColor: 'transparent', |
467 | [theme.breakpoints.down('sm')]: { | 469 | [theme.breakpoints.down('sm')]: { |
468 | margin: '2px 2px 2px 0', | 470 | margin: '2px 1px 2px 0', |
469 | }, | 471 | }, |
470 | }, | 472 | }, |
471 | '.problem-editor-foldMarker-open': { | 473 | '.problem-editor-foldMarker-open': { |