diff options
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-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 6deda080..1f8152d3 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -166,6 +166,11 @@ export default styled('div', { | |||
166 | '.tok-problem-abstract': { | 166 | '.tok-problem-abstract': { |
167 | fontStyle: 'italic', | 167 | fontStyle: 'italic', |
168 | }, | 168 | }, |
169 | '.tok-problem-datatype, .tok-problem-aggregator': { | ||
170 | '&, & .tok-typeName': { | ||
171 | color: theme.palette.primary.main, | ||
172 | }, | ||
173 | }, | ||
169 | '.tok-problem-containment': { | 174 | '.tok-problem-containment': { |
170 | fontWeight: theme.typography.fontWeightEditorBold, | 175 | fontWeight: theme.typography.fontWeightEditorBold, |
171 | textDecorationSkipInk: 'none', | 176 | textDecorationSkipInk: 'none', |