diff options
Diffstat (limited to 'subprojects/frontend')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index 383e1b75..b536dc0c 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -133,6 +133,11 @@ export default styled('div', { | |||
133 | }, | 133 | }, |
134 | '.tok-problem-error': { | 134 | '.tok-problem-error': { |
135 | '&, & .tok-typeName': { | 135 | '&, & .tok-typeName': { |
136 | color: theme.palette.highlight.comment, | ||
137 | }, | ||
138 | }, | ||
139 | '.tok-invalid': { | ||
140 | '&, & .tok-typeName': { | ||
136 | color: theme.palette.error.main, | 141 | color: theme.palette.error.main, |
137 | }, | 142 | }, |
138 | }, | 143 | }, |