Update webstandard.sh

DOMjudge · Nov 12, 2023 · d53d218 · d53d218
1 parent 2340f1e
commit d53d218
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"