diff --git a/repl/src/themes/material-palenight.js b/repl/src/themes/material-palenight.js index 0f219155..5ee559c9 100644 --- a/repl/src/themes/material-palenight.js +++ b/repl/src/themes/material-palenight.js @@ -26,13 +26,14 @@ export const materialPalenightTheme = EditorView.theme( '&': { color: '#ffffff', backgroundColor: background, - fontSize: '16px', + fontSize: '15px', 'z-index': 11, }, // done '.cm-content': { caretColor: cursor, + lineHeight: '22px', }, '.cm-line': { background: '#2C323699',