diff --git a/docs_theme/nav.html b/docs_theme/nav.html index ca1afc0ec..e6ab01bad 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -19,7 +19,6 @@ {% if include_nav %}