From a6c9306e63bf0d289779139386dc161560bdebcb Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Sun, 2 Mar 2025 15:17:17 +0000
Subject: [PATCH] Make it more likely that the source code editor doesn't
 stretch beyond the screen.

---
 webapp/public/style_domjudge.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webapp/public/style_domjudge.css b/webapp/public/style_domjudge.css
index 48c794c925..1ee76f71b8 100644
--- a/webapp/public/style_domjudge.css
+++ b/webapp/public/style_domjudge.css
@@ -746,6 +746,6 @@ blockquote {
 
 .editor {
     width: 100%;
-    height: 80vh;
+    height: 75vh;
     border: 1px solid grey;
 }