diff --git a/docs_theme/nav.html b/docs_theme/nav.html index e5adf2e25..278186ddb 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -2,7 +2,7 @@