-rwxr-xr-x 182 404.html
-rw-r--r-- 7494 competition.html
-rw-r--r-- 865 coursematerial.html
-rw-r--r-- 2634 footer.html
-rw-r--r-- 3300 imprint.html
-rw-r--r-- 2241 index.html
-rw-r--r-- 88 jumbotron-competition.html
-rw-r--r-- 99 jumbotron-coursematerial.html
-rw-r--r-- 220 jumbotron-default.html
-rw-r--r-- 89 jumbotron-submission.html
-rw-r--r-- 86 jumbotron-task.html
-rw-r--r-- 5868 privacy.html
-rw-r--r-- 6383 submission.html
-rw-r--r-- 2683 task.html
-rw-r--r-- 3530 theme.html