diff --git a/docs_theme/main.html b/docs_theme/main.html index 210fa720b..f66e9deae 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -115,8 +115,8 @@ - +
diff --git a/docs_theme/nav.html b/docs_theme/nav.html index 404b760f7..9929f48ab 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -38,8 +38,7 @@
  • {{ nav_item.title }} + href="{{ nav_item.url|url }}">{{ nav_item.title }}
  • {% endfor %}