From 6c32ec1af90cf7df179a688617a828eddcff8052 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Fri, 19 Aug 2022 15:42:58 +0200
Subject: refactor(frontend): update theme

---
 subprojects/frontend/src/editor/EditorTheme.ts | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'subprojects/frontend/src/editor/EditorTheme.ts')

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(
-- 
cgit v1.2.3-54-g00ecf