diff --git a/docs_theme/nav.html b/docs_theme/nav.html index decb11760..e5adf2e25 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -34,7 +34,7 @@ @@ -47,7 +47,7 @@ Next