diff -r aec51a27ca54 -r 42a075216a35 design/_includes/nav.html --- a/design/_includes/nav.html Thu Jun 15 16:51:24 2017 +0200 +++ b/design/_includes/nav.html Thu Jun 15 17:11:09 2017 +0200 @@ -1,10 +1,20 @@