From 7542a02170aa8e779fd3ed12d6b4332ff99f22a6 Mon Sep 17 00:00:00 2001
From: Jonas Kohl
Date: Fri, 8 Nov 2024 11:51:40 +0100
Subject: Increase editor height

---
 public/site.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'public/site.js')

diff --git a/public/site.js b/public/site.js
index 1155126..cb6bed7 100644
--- a/public/site.js
+++ b/public/site.js
@@ -9,7 +9,7 @@ $(function() {
         smartIndent: true,
         indentUnit: 4
     });
-    editor.setSize(null, 500);
+    editor.setSize(null, 640);
 
     $("#dlCodeButton").on("click", function() {
         var a = $("<a></a>")
-- 
cgit v1.2.3