diff --git a/docs_theme/main.html b/docs_theme/main.html index 1a1175902..07570d6e4 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -6,7 +6,7 @@ {% if page.title %}{{ page.title }} - {% endif %}{{ config.site_name }} - + @@ -91,12 +91,12 @@ {% for toc_item in page.toc %}
  • - {{ toc_item.title }} + {{ toc_item.title }}
  • {% for toc_item in toc_item.children %}
  • - {{ toc_item.title }} + {{ toc_item.title }}
  • {% endfor %} {% endfor %} diff --git a/docs_theme/nav.html b/docs_theme/nav.html index 732694f48..d30348756 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -2,10 +2,10 @@