diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-08-19 15:42:58 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-19 21:38:23 +0200 |
commit | 6c32ec1af90cf7df179a688617a828eddcff8052 (patch) | |
tree | b724173cd6ef1b622f6ae86054769ecf9fca4b81 /subprojects/frontend/src/editor/EditorTheme.ts | |
parent | feat(frontend): responsive editor styling (diff) | |
download | refinery-6c32ec1af90cf7df179a688617a828eddcff8052.tar.gz refinery-6c32ec1af90cf7df179a688617a828eddcff8052.tar.zst refinery-6c32ec1af90cf7df179a688617a828eddcff8052.zip |
refactor(frontend): update theme
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index fe5ba58e..d8680070 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -95,7 +95,8 @@ export default styled('div', { | |||
95 | fontStyle: 'italic', | 95 | fontStyle: 'italic', |
96 | }, | 96 | }, |
97 | '.tok-problem-containment': { | 97 | '.tok-problem-containment': { |
98 | fontWeight: 700, | 98 | fontWeight: theme.typography.fontWeightBold, |
99 | textDecorationSkipInk: 'none', | ||
99 | }, | 100 | }, |
100 | '.tok-problem-error': { | 101 | '.tok-problem-error': { |
101 | '&, & .tok-typeName': { | 102 | '&, & .tok-typeName': { |
@@ -278,7 +279,7 @@ export default styled('div', { | |||
278 | '&[aria-selected="true"]': { | 279 | '&[aria-selected="true"]': { |
279 | color: theme.palette.text.primary, | 280 | color: theme.palette.text.primary, |
280 | background: 'transparent', | 281 | background: 'transparent', |
281 | fontWeight: 700, | 282 | fontWeight: theme.typography.fontWeightMedium, |
282 | }, | 283 | }, |
283 | ':hover': { | 284 | ':hover': { |
284 | background: alpha( | 285 | background: alpha( |