diff --git a/docs_theme/nav.html b/docs_theme/nav.html index 2f6f78e94..255fc46cd 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -10,7 +10,7 @@ + +