diff -r 64428c7ebc19 -r 1105f23aa0de design/_includes/nav.html --- a/design/_includes/nav.html Mon Jun 19 12:32:11 2017 +0200 +++ b/design/_includes/nav.html Mon Jun 19 12:39:00 2017 +0200 @@ -1,6 +1,5 @@