From d53d218a7f64c07b1d864a95fb624de6536170da Mon Sep 17 00:00:00 2001
From: MCJ Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Sun, 12 Nov 2023 22:19:07 +0100
Subject: [PATCH] Update webstandard.sh

---
 gitlab/webstandard.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gitlab/webstandard.sh b/gitlab/webstandard.sh
index 19fc925f92..a314ee7317 100755
--- a/gitlab/webstandard.sh
+++ b/gitlab/webstandard.sh
@@ -80,6 +80,7 @@ if [ "$TEST" = "w3cval" ]; then
     rm -f localhost/domjudge/css/select2-bootstrap*.css*
     rm -f localhost/domjudge/css/dataTables*.css*
     rm -f localhost/domjudge/jury/config/check/phpinfo*
+    sed -i 's/:root {/:root {--bs-gutter-x: 0em;/g' input.txt // We need any value to calculate with
     section_end upstream_problems
 
     section_start_collap test_suite "Install testsuite"