From 2dbfb562ea5bc5a401fa46baa9d515d566d2c1c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Valim?= <jose.valim@dashbit.co>
Date: Fri, 2 Jul 2021 16:52:29 +0200
Subject: [PATCH] Hardcode font size to 14 for consistency

---
 assets/js/cell/live_editor.js | 1 +
 1 file changed, 1 insertion(+)

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",