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.ts5
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',