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.ts8
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';
4import warningSVG from '@material-icons/svg/svg/warning/baseline.svg?raw'; 4import warningSVG from '@material-icons/svg/svg/warning/baseline.svg?raw';
5import { alpha, styled, type CSSObject } from '@mui/material/styles'; 5import { alpha, styled, type CSSObject } from '@mui/material/styles';
6 6
7import editorClassNames from './editorClassNames';
8
9function svgURL(svg: string): string { 7function 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',