diff --git a/docs_theme/nav.html b/docs_theme/nav.html index f093178d3..732694f48 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -2,10 +2,10 @@