From 420cd08692d4962155b23925eabc74d9002bf55d Mon Sep 17 00:00:00 2001
From: Guilhem Moulin <guilhem@fripost.org>
Date: Fri, 5 Jul 2019 15:29:07 +0200
Subject: [PATCH] doc/template.html: Fix minor space damage.

---
 doc/template.html | 28 +++++++++++++---------------
 1 file changed, 13 insertions(+), 15 deletions(-)

diff --git a/doc/template.html b/doc/template.html
index ceb2576..17cbdbe 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -15,18 +15,21 @@ $if(keywords)$
 $endif$
   <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
   <style type="text/css">
-      code{white-space: pre-wrap;}
-      span.smallcaps{font-variant: small-caps;}
-      span.underline{text-decoration: underline;}
-      div.column{display: inline-block; vertical-align: top; width: 50%;}
-      @media only screen and (min-width: 600px) {
-        .parent {
-          float: right;
-          margin-left: 1em;
-        }
+    code{white-space: pre-wrap;}
+    span.smallcaps{font-variant: small-caps;}
+    span.underline{text-decoration: underline;}
+    div.column{display: inline-block; vertical-align: top; width: 50%;}
+    @media only screen and (min-width: 600px) {
+      .parent {
+        float: right;
+        margin-left: 1em;
       }
+    }
+    @media(max-width: 1440px) { .container{ max-width: 1080px; } }
+    @media(max-width: 1280px) { .container{ max-width: 960px; } }
+    @media(max-width: 1024px) { .container{ max-width: 768px; } }
 $if(quotes)$
-      q { quotes: "“" "”" "‘" "’"; }
+    q { quotes: "“" "”" "‘" "’"; }
 $endif$
   </style>
 $if(highlighting-css)$
@@ -37,11 +40,6 @@ $endif$
 $for(css)$
   <link rel="stylesheet" href="$css$" />
 $endfor$
-  <style type="text/css">
-    @media(max-width: 1440px) { .container{ max-width: 1080px; } }
-    @media(max-width: 1280px) { .container{ max-width: 960px; } }
-    @media(max-width: 1024px) { .container{ max-width: 768px; } }
-  </style>
 $if(math)$
   $math$
 $endif$
-- 
2.39.2