Use CSS and viewport height for editor height

Author: Kevinjil

webapp/public/style_domjudge.css

@@ -737,6 +737,6 @@ blockquote {
 
 .editor {
     width: 100%;
-    height: 400px;
+    height: 80vh;
     border: 1px solid grey;
 }

webapp/src/Twig/TwigExtension.php

@@ -850,9 +850,6 @@ public function codeEditor(
         const element = document.getElementById('__EDITOR__');
         const content = element.textContent;
         element.textContent = '';
-        // Adjust editor height to fit window.
-        const height = $(window).height() - 400;
-        element.style.height = height + 'px';
 
         const editor = monaco.editor.create(element, {
             value: content,