From 4dd3f4e9ea820f0053abe624d2bdb3a8e4b10d5f Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Tue, 7 Dec 2021 15:11:00 +0100 Subject: [PATCH] Add missing whitespace before disabled HTML attribute --- src/librustdoc/html/templates/page.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librustdoc/html/templates/page.html b/src/librustdoc/html/templates/page.html index 3c6f083419aef..5c957e4a379a4 100644 --- a/src/librustdoc/html/templates/page.html +++ b/src/librustdoc/html/templates/page.html @@ -20,7 +20,7 @@ id="mainThemeStyle"> {#- -#} {%- for theme in themes -%}