diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-07-27 16:34:14 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-07-27 16:34:14 +0200 |
commit | deaa0580d952b77cf9e6df024d1f71ed29f53fc0 (patch) | |
tree | 95a4e538b21c13674de99a6645bae1424714721a /subprojects/frontend/src/editor/EditorParent.ts | |
parent | docs: Add note about proxy settings (diff) | |
download | refinery-deaa0580d952b77cf9e6df024d1f71ed29f53fc0.tar.gz refinery-deaa0580d952b77cf9e6df024d1f71ed29f53fc0.tar.zst refinery-deaa0580d952b77cf9e6df024d1f71ed29f53fc0.zip |
chore: bump dependencies
Diffstat (limited to 'subprojects/frontend/src/editor/EditorParent.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorParent.ts | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/subprojects/frontend/src/editor/EditorParent.ts b/subprojects/frontend/src/editor/EditorParent.ts index 94ca24ea..9aaf541a 100644 --- a/subprojects/frontend/src/editor/EditorParent.ts +++ b/subprojects/frontend/src/editor/EditorParent.ts | |||
@@ -119,48 +119,48 @@ export const EditorParent = styled('div')(({ theme }) => { | |||
119 | borderColor: theme.palette.text.disabled, | 119 | borderColor: theme.palette.text.disabled, |
120 | color: theme.palette.text.secondary, | 120 | color: theme.palette.text.secondary, |
121 | }, | 121 | }, |
122 | '.cmt-comment': { | 122 | '.tok-comment': { |
123 | fontStyle: 'italic', | 123 | fontStyle: 'italic', |
124 | color: theme.palette.text.disabled, | 124 | color: theme.palette.text.disabled, |
125 | }, | 125 | }, |
126 | '.cmt-number': { | 126 | '.tok-number': { |
127 | color: '#6188a6', | 127 | color: '#6188a6', |
128 | }, | 128 | }, |
129 | '.cmt-string': { | 129 | '.tok-string': { |
130 | color: theme.palette.secondary.dark, | 130 | color: theme.palette.secondary.dark, |
131 | }, | 131 | }, |
132 | '.cmt-keyword': { | 132 | '.tok-keyword': { |
133 | color: theme.palette.primary.main, | 133 | color: theme.palette.primary.main, |
134 | }, | 134 | }, |
135 | '.cmt-typeName, .cmt-macroName, .cmt-atom': { | 135 | '.tok-typeName, .tok-macroName, .tok-atom': { |
136 | color: theme.palette.text.primary, | 136 | color: theme.palette.text.primary, |
137 | }, | 137 | }, |
138 | '.cmt-variableName': { | 138 | '.tok-variableName': { |
139 | color: '#c8ae9d', | 139 | color: '#c8ae9d', |
140 | }, | 140 | }, |
141 | '.cmt-problem-node': { | 141 | '.tok-problem-node': { |
142 | '&, & .cmt-variableName': { | 142 | '&, & .tok-variableName': { |
143 | color: theme.palette.text.secondary, | 143 | color: theme.palette.text.secondary, |
144 | }, | 144 | }, |
145 | }, | 145 | }, |
146 | '.cmt-problem-individual': { | 146 | '.tok-problem-individual': { |
147 | '&, & .cmt-variableName': { | 147 | '&, & .tok-variableName': { |
148 | color: theme.palette.text.primary, | 148 | color: theme.palette.text.primary, |
149 | }, | 149 | }, |
150 | }, | 150 | }, |
151 | '.cmt-problem-abstract, .cmt-problem-new': { | 151 | '.tok-problem-abstract, .tok-problem-new': { |
152 | fontStyle: 'italic', | 152 | fontStyle: 'italic', |
153 | }, | 153 | }, |
154 | '.cmt-problem-containment': { | 154 | '.tok-problem-containment': { |
155 | fontWeight: 700, | 155 | fontWeight: 700, |
156 | }, | 156 | }, |
157 | '.cmt-problem-error': { | 157 | '.tok-problem-error': { |
158 | '&, & .cmt-typeName': { | 158 | '&, & .tok-typeName': { |
159 | color: theme.palette.error.main, | 159 | color: theme.palette.error.main, |
160 | }, | 160 | }, |
161 | }, | 161 | }, |
162 | '.cmt-problem-builtin': { | 162 | '.tok-problem-builtin': { |
163 | '&, & .cmt-typeName, & .cmt-atom, & .cmt-variableName': { | 163 | '&, & .tok-typeName, & .tok-atom, & .tok-variableName': { |
164 | color: theme.palette.primary.main, | 164 | color: theme.palette.primary.main, |
165 | fontWeight: 400, | 165 | fontWeight: 400, |
166 | fontStyle: 'normal', | 166 | fontStyle: 'normal', |