-rwxr-xr-x 177 404.html
-rw-r--r-- 205 competition.html
-rw-r--r-- 581 coursematerial.html
-rw-r--r-- 159 footer.html
-rw-r--r-- 891 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-- 213 submission.html
-rw-r--r-- 225 task.html
-rw-r--r-- 3290 theme.html