diff options
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
| -rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index b211f2a7..1f8152d3 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
| @@ -166,7 +166,7 @@ export default styled('div', { | |||
| 166 | '.tok-problem-abstract': { | 166 | '.tok-problem-abstract': { |
| 167 | fontStyle: 'italic', | 167 | fontStyle: 'italic', |
| 168 | }, | 168 | }, |
| 169 | '.tok-problem-datatype': { | 169 | '.tok-problem-datatype, .tok-problem-aggregator': { |
| 170 | '&, & .tok-typeName': { | 170 | '&, & .tok-typeName': { |
| 171 | color: theme.palette.primary.main, | 171 | color: theme.palette.primary.main, |
| 172 | }, | 172 | }, |