fix(frontend): editor font thickness

Imporve font rendering on Windows by making the JetBrains Mono font
slightly bolder.

1 files changed, 4 insertions, 4 deletions

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,