diff --git a/docs/_includes/nav-main.html b/docs/_includes/nav-main.html index b9d321a38..e8b1cbb7d 100644 --- a/docs/_includes/nav-main.html +++ b/docs/_includes/nav-main.html @@ -1,7 +1,12 @@