diff --git a/assets/js/cell/live_editor.js b/assets/js/cell/live_editor.js index 655541853..bc54a3840 100644 --- a/assets/js/cell/live_editor.js +++ b/assets/js/cell/live_editor.js @@ -157,6 +157,7 @@ class LiveEditor { renderLineHighlight: "none", theme: "custom", fontFamily: "JetBrains Mono, Droid Sans Mono, monospace", + fontSize: 14, tabIndex: -1, quickSuggestions: false, tabCompletion: "on",