diff options
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index 3ec977da..fa77862c 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -16,7 +16,7 @@ export default styled('div', { | |||
16 | showLineNumbers: boolean; | 16 | showLineNumbers: boolean; |
17 | showActiveLine: boolean; | 17 | showActiveLine: boolean; |
18 | }>(({ theme, showLineNumbers, showActiveLine }) => { | 18 | }>(({ theme, showLineNumbers, showActiveLine }) => { |
19 | const editorFontStyle = { | 19 | const editorFontStyle: CSSObject = { |
20 | ...theme.typography.editor, | 20 | ...theme.typography.editor, |
21 | fontWeight: theme.typography.fontWeightEditorNormal, | 21 | fontWeight: theme.typography.fontWeightEditorNormal, |
22 | [theme.breakpoints.down('sm')]: { | 22 | [theme.breakpoints.down('sm')]: { |