diff --git a/docs_theme/nav.html b/docs_theme/nav.html index 7f24805f4..4e83c14af 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -139,17 +139,16 @@ {% endif %} -