From df87a40d0a9c7799231b51ae24399b7499d75ec4 Mon Sep 17 00:00:00 2001 From: Benjamin Bach Date: Wed, 11 Jan 2023 16:36:27 +0100 Subject: [PATCH] Trimmed a bit too many whitespaces --- sphinx_rtd_theme/layout.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sphinx_rtd_theme/layout.html b/sphinx_rtd_theme/layout.html index f612bd6be..9b00d0320 100644 --- a/sphinx_rtd_theme/layout.html +++ b/sphinx_rtd_theme/layout.html @@ -65,10 +65,10 @@ Workaround for: https://github.com/sphinx-doc/sphinx/issues/9730 Once a fix is released in Sphinx, put an upper bound on the Sphinx version for the workaround -#} - {%- if builder == 'dirhtml' and pageurl.endswith('.html') -%} - {#- This expression trims away .html and adds a / -#} + {%- if builder == 'dirhtml' and pageurl.endswith('.html') %} + {#- This expression trims away .html and adds a / #} - {%- else -%} + {%- else %} {%- endif -%} {%- endif -%}