diff --git a/docs_theme/nav.html b/docs_theme/nav.html index 0f3b9871c..e6ab01bad 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -2,10 +2,10 @@