tiny changes
Revert "tiny changes"

This reverts commit fd10f73ebb7ffc041129c859b9e677158cb92cad.
Merge branch 'gh-pages' of https://github.com/manuelhunziker/shelling_dokupage into gh-pages