From 6c32ec1af90cf7df179a688617a828eddcff8052 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 19 Aug 2022 15:42:58 +0200 Subject: refactor(frontend): update theme --- subprojects/frontend/src/editor/EditorButtons.tsx | 2 +- subprojects/frontend/src/editor/EditorTheme.ts | 5 +++-- subprojects/frontend/src/editor/GenerateButton.tsx | 4 +++- subprojects/frontend/src/editor/SearchToolbar.tsx | 2 +- 4 files changed, 8 insertions(+), 5 deletions(-) (limited to 'subprojects/frontend/src/editor') diff --git a/subprojects/frontend/src/editor/EditorButtons.tsx b/subprojects/frontend/src/editor/EditorButtons.tsx index bed6afa8..735531e8 100644 --- a/subprojects/frontend/src/editor/EditorButtons.tsx +++ b/subprojects/frontend/src/editor/EditorButtons.tsx @@ -53,7 +53,7 @@ function EditorButtons(): JSX.Element { > - + editorStore.toggleLineNumbers()} 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', { fontStyle: 'italic', }, '.tok-problem-containment': { - fontWeight: 700, + fontWeight: theme.typography.fontWeightBold, + textDecorationSkipInk: 'none', }, '.tok-problem-error': { '&, & .tok-typeName': { @@ -278,7 +279,7 @@ export default styled('div', { '&[aria-selected="true"]': { color: theme.palette.text.primary, background: 'transparent', - fontWeight: 700, + fontWeight: theme.typography.fontWeightMedium, }, ':hover': { background: alpha( diff --git a/subprojects/frontend/src/editor/GenerateButton.tsx b/subprojects/frontend/src/editor/GenerateButton.tsx index 14258723..4b998af6 100644 --- a/subprojects/frontend/src/editor/GenerateButton.tsx +++ b/subprojects/frontend/src/editor/GenerateButton.tsx @@ -24,8 +24,9 @@ function GenerateButton(): JSX.Element { return ( @@ -35,6 +36,7 @@ function GenerateButton(): JSX.Element { return (