diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-08-22 15:29:42 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-22 16:49:39 +0200 |
commit | f59b5f0b89ee831af82973d3646e4c706074621c (patch) | |
tree | 230cc11ea2a6d003c6fc3d518c05c2fc5de44915 /subprojects/frontend/src/theme | |
parent | refactor(frontend): theme improvements (diff) | |
download | refinery-f59b5f0b89ee831af82973d3646e4c706074621c.tar.gz refinery-f59b5f0b89ee831af82973d3646e4c706074621c.tar.zst refinery-f59b5f0b89ee831af82973d3646e4c706074621c.zip |
fix(frontend): editor font thickness
Imporve font rendering on Windows by making the JetBrains Mono font
slightly bolder.
Diffstat (limited to 'subprojects/frontend/src/theme')
-rw-r--r-- | subprojects/frontend/src/theme/ThemeProvider.tsx | 8 |
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' { | |||
67 | } | 67 | } |
68 | 68 | ||
69 | const typography: TypographyVariantsOptions = { | 69 | const typography: TypographyVariantsOptions = { |
70 | fontWeightEditorNormal: 400, | 70 | fontWeightEditorNormal: 450, |
71 | fontWeightEditorBold: 600, | 71 | fontWeightEditorBold: 650, |
72 | editor: { | 72 | editor: { |
73 | fontFamily: | 73 | fontFamily: |
74 | '"JetBrains MonoVariable", "JetBrains Mono", "Cascadia Code", "Fira Code", monospace', | 74 | '"JetBrains MonoVariable", "JetBrains Mono", "Cascadia Code", "Fira Code", monospace', |
@@ -197,8 +197,8 @@ const lightTheme = createResponsiveTheme({ | |||
197 | const darkTheme = createResponsiveTheme({ | 197 | const darkTheme = createResponsiveTheme({ |
198 | typography: { | 198 | typography: { |
199 | ...typography, | 199 | ...typography, |
200 | fontWeightEditorNormal: 350, | 200 | fontWeightEditorNormal: 400, |
201 | fontWeightEditorBold: 550, | 201 | fontWeightEditorBold: 600, |
202 | }, | 202 | }, |
203 | components: { | 203 | components: { |
204 | ...components, | 204 | ...components, |