diff options
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index d8680070..ca07d602 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -4,8 +4,6 @@ import infoSVG from '@material-icons/svg/svg/info/baseline.svg?raw'; | |||
4 | import warningSVG from '@material-icons/svg/svg/warning/baseline.svg?raw'; | 4 | import warningSVG from '@material-icons/svg/svg/warning/baseline.svg?raw'; |
5 | import { alpha, styled, type CSSObject } from '@mui/material/styles'; | 5 | import { alpha, styled, type CSSObject } from '@mui/material/styles'; |
6 | 6 | ||
7 | import editorClassNames from './editorClassNames'; | ||
8 | |||
9 | function svgURL(svg: string): string { | 7 | function svgURL(svg: string): string { |
10 | return `url('data:image/svg+xml;utf8,${svg}')`; | 8 | return `url('data:image/svg+xml;utf8,${svg}')`; |
11 | } | 9 | } |
@@ -315,7 +313,7 @@ export default styled('div', { | |||
315 | '.cm-gutters:hover .cm-foldGutter': { | 313 | '.cm-gutters:hover .cm-foldGutter': { |
316 | opacity: 1, | 314 | opacity: 1, |
317 | }, | 315 | }, |
318 | [`.${editorClassNames.foldMarker}`]: { | 316 | '.problem-editor-foldMarker': { |
319 | display: 'block', | 317 | display: 'block', |
320 | margin: '4px 0', | 318 | margin: '4px 0', |
321 | padding: 0, | 319 | padding: 0, |
@@ -330,10 +328,10 @@ export default styled('div', { | |||
330 | margin: '2px 0', | 328 | margin: '2px 0', |
331 | }, | 329 | }, |
332 | }, | 330 | }, |
333 | [`.${editorClassNames.foldMarkerClosed}`]: { | 331 | '.problem-editor-foldMarker-closed': { |
334 | transform: 'rotate(-90deg)', | 332 | transform: 'rotate(-90deg)', |
335 | }, | 333 | }, |
336 | [`.${editorClassNames.foldPlaceholder}`]: { | 334 | '.problem-editor-foldPlaceholder': { |
337 | ...editorFontStyle, | 335 | ...editorFontStyle, |
338 | padding: 0, | 336 | padding: 0, |
339 | fontFamily: 'inherit', | 337 | fontFamily: 'inherit', |