diff -r ec72869a5a20 -r b5d11572f1ed design/_includes/nav.html --- a/design/_includes/nav.html Mon Jul 10 16:22:59 2017 +0200 +++ b/design/_includes/nav.html Mon Jul 17 16:37:09 2017 +0200 @@ -15,7 +15,7 @@ {% endif %} - +