From f59b5f0b89ee831af82973d3646e4c706074621c Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Mon, 22 Aug 2022 15:29:42 +0200
Subject: fix(frontend): editor font thickness

Imporve font rendering on Windows by making the JetBrains Mono font
slightly bolder.
---
 subprojects/frontend/src/theme/ThemeProvider.tsx | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'subprojects')

diff --git a/subprojects/frontend/src/theme/ThemeProvider.tsx b/subprojects/frontend/src/theme/ThemeProvider.tsx
index 0c780e85..5aaf3ad1 100644
--- a/subprojects/frontend/src/theme/ThemeProvider.tsx
+++ b/subprojects/frontend/src/theme/ThemeProvider.tsx
@@ -67,8 +67,8 @@ declare module '@mui/material/styles' {
 }
 
 const typography: TypographyVariantsOptions = {
-  fontWeightEditorNormal: 400,
-  fontWeightEditorBold: 600,
+  fontWeightEditorNormal: 450,
+  fontWeightEditorBold: 650,
   editor: {
     fontFamily:
       '"JetBrains MonoVariable", "JetBrains Mono", "Cascadia Code", "Fira Code", monospace',
@@ -197,8 +197,8 @@ const lightTheme = createResponsiveTheme({
 const darkTheme = createResponsiveTheme({
   typography: {
     ...typography,
-    fontWeightEditorNormal: 350,
-    fontWeightEditorBold: 550,
+    fontWeightEditorNormal: 400,
+    fontWeightEditorBold: 600,
   },
   components: {
     ...components,
-- 
cgit v1.2.3-54-g00ecf