diff -r f1b125b95fe9 -r a8300ef1876e design/_includes/nav.html --- a/design/_includes/nav.html Tue Jun 06 15:56:41 2017 +0200 +++ b/design/_includes/nav.html Wed Jun 07 18:18:44 2017 +0200 @@ -1,3 +1,18 @@ -