diff --git a/docs/_includes/nav/main.html b/docs/_includes/nav/main.html index d0fd1f81c..735fc6768 100644 --- a/docs/_includes/nav/main.html +++ b/docs/_includes/nav/main.html @@ -35,7 +35,9 @@