From 0cb6b63bdeb96c623b8e718273a953e083c95d41 Mon Sep 17 00:00:00 2001 From: Ryan P Kilby Date: Mon, 15 Jul 2019 12:11:49 -0700 Subject: [PATCH] Use 'url' template filter in docs (#6805) --- docs_theme/main.html | 6 +++--- docs_theme/nav.html | 8 ++++---- 2 files changed, 7 insertions(+), 7 deletions(-) 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 @@