diff --git a/gitlab/webstandard.sh b/gitlab/webstandard.sh index 06d0f70022..45f143289f 100755 --- a/gitlab/webstandard.sh +++ b/gitlab/webstandard.sh @@ -81,7 +81,7 @@ if [ "$TEST" = "w3cval" ]; then rm -f localhost/domjudge/css/dataTables*.css* rm -f localhost/domjudge/jury/config/check/phpinfo* # We need any value for bs-gutter-x to calculate with in CSS - for f in $(find ./ -name style_domjudge.css); do + for f in $(find ./ -name "style_domjudge.css*"); do sed -i 's/:root {/:root {--bs-gutter-x: 0em;/g' $f done section_end upstream_problems