From 934bfd2b7eb1a6c838412d4adb0bd057bc0a0907 Mon Sep 17 00:00:00 2001
From: Guido Cella <guido@guidocella.xyz>
Date: Tue, 29 Oct 2024 00:10:11 +0100
Subject: [PATCH] console.lua: restore the bigger default font size

Fixes aa66f0dced.
---
 player/lua/console.lua | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/player/lua/console.lua b/player/lua/console.lua
index 29481a2a96..8fce851212 100644
--- a/player/lua/console.lua
+++ b/player/lua/console.lua
@@ -30,8 +30,8 @@ local platform = detect_platform()
 -- Default options
 local opts = {
     font = "",
-    font_size = 16,
-    border_size = 1,
+    font_size = 24,
+    border_size = 1.5,
     scale_with_window = "auto",
     case_sensitive = platform ~= 'windows' and true or false,
     history_dedup = true,