diff --git a/docs/_includes/nav/main.html b/docs/_includes/nav/main.html index 1b7cd1bea1..a9e09a081d 100644 --- a/docs/_includes/nav/main.html +++ b/docs/_includes/nav/main.html @@ -12,19 +12,19 @@