diff --git a/docs/_includes/nav/main.html b/docs/_includes/nav/main.html index 92f4ae99ff..4338e57e6c 100644 --- a/docs/_includes/nav/main.html +++ b/docs/_includes/nav/main.html @@ -30,7 +30,7 @@