diff -r b85ab44a88ea -r 280ff609cc69 design/_includes/nav.html --- a/design/_includes/nav.html Fri Jul 07 16:49:39 2017 +0200 +++ b/design/_includes/nav.html Fri Jul 07 16:49:52 2017 +0200 @@ -1,5 +1,5 @@