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;
 }