diff --git a/assets/css/utilities.css b/assets/css/utilities.css index 2d903c608..962864f4c 100644 --- a/assets/css/utilities.css +++ b/assets/css/utilities.css @@ -9,6 +9,6 @@ } .font-editor { - font-family: "JetBrains Mono"; + font-family: "JetBrains Mono", "Droid Sans Mono", "monospace"; font-size: 14px; } diff --git a/assets/js/cell/live_editor.js b/assets/js/cell/live_editor.js index 839d460be..70901d3d6 100644 --- a/assets/js/cell/live_editor.js +++ b/assets/js/cell/live_editor.js @@ -102,7 +102,7 @@ class LiveEditor { occurrencesHighlight: false, renderLineHighlight: "none", theme: "custom", - fontFamily: "JetBrains Mono", + fontFamily: "JetBrains Mono, Droid Sans Mono, monospace", tabIndex: -1, quickSuggestions: false, tabCompletion: "on",