diff --git a/hacking/nav.html b/hacking/nav.html index 2825c5a656..5dbea5c063 100644 --- a/hacking/nav.html +++ b/hacking/nav.html @@ -20,10 +20,10 @@ - - - - + + + +