diff options
author | 2022-11-29 02:37:28 +0100 | |
---|---|---|
committer | 2022-12-09 00:07:39 +0100 | |
commit | f416bfecc61075d3dff69821b2d4503d6e1c4037 (patch) | |
tree | c0e6f3dab0e79d4117ff6b7dc7ea29f07891f1b7 /subprojects/frontend/src/theme | |
parent | fix(frontend): content assist error recovery (diff) | |
download | refinery-f416bfecc61075d3dff69821b2d4503d6e1c4037.tar.gz refinery-f416bfecc61075d3dff69821b2d4503d6e1c4037.tar.zst refinery-f416bfecc61075d3dff69821b2d4503d6e1c4037.zip |
fix(frontend): reduce Android rendering errors
Diffstat (limited to 'subprojects/frontend/src/theme')
-rw-r--r-- | subprojects/frontend/src/theme/ThemeProvider.tsx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/subprojects/frontend/src/theme/ThemeProvider.tsx b/subprojects/frontend/src/theme/ThemeProvider.tsx index 9cf870d5..85844d3c 100644 --- a/subprojects/frontend/src/theme/ThemeProvider.tsx +++ b/subprojects/frontend/src/theme/ThemeProvider.tsx | |||
@@ -73,6 +73,11 @@ const typography: TypographyVariantsOptions = { | |||
73 | fontWeightMedium: 600, | 73 | fontWeightMedium: 600, |
74 | fontWeightEditorNormal: 400, | 74 | fontWeightEditorNormal: 400, |
75 | fontWeightEditorBold: 700, | 75 | fontWeightEditorBold: 700, |
76 | button: { | ||
77 | // 24px line height for 14px button text means 36px high buttons. | ||
78 | // Making sure the button has whole pixel height reduces redering errors on Android. | ||
79 | lineHeight: 1.7143, | ||
80 | }, | ||
76 | editor: { | 81 | editor: { |
77 | fontFamily: | 82 | fontFamily: |
78 | '"JetBrains MonoVariable", "JetBrains Mono", "Cascadia Code", "Fira Code", monospace', | 83 | '"JetBrains MonoVariable", "JetBrains Mono", "Cascadia Code", "Fira Code", monospace', |