diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-09-03 17:57:38 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-03 17:57:38 +0200 |
| commit | cd96a9a4f54d45cda3ddf5df474946445d557090 (patch) | |
| tree | 7a96a177236888ede9a51ffdd51940a672cfd070 /subprojects/frontend/src/editor | |
| parent | build: runtimeOnly Eclipse Collections if posible (diff) | |
| download | refinery-cd96a9a4f54d45cda3ddf5df474946445d557090.tar.gz refinery-cd96a9a4f54d45cda3ddf5df474946445d557090.tar.zst refinery-cd96a9a4f54d45cda3ddf5df474946445d557090.zip | |
feat: scope propagator in language
Diffstat (limited to 'subprojects/frontend/src/editor')
| -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 308d5be0..055b62e2 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
| @@ -105,7 +105,7 @@ export default styled('div', { | |||
| 105 | color: theme.palette.text.primary, | 105 | color: theme.palette.text.primary, |
| 106 | }, | 106 | }, |
| 107 | }, | 107 | }, |
| 108 | '.tok-problem-abstract, .tok-problem-new': { | 108 | '.tok-problem-abstract': { |
| 109 | fontStyle: 'italic', | 109 | fontStyle: 'italic', |
| 110 | }, | 110 | }, |
| 111 | '.tok-problem-containment': { | 111 | '.tok-problem-containment': { |