From 4b61d5e13773bf8bf25537f28d1a42f7c6473b75 Mon Sep 17 00:00:00 2001
From: Guilhem Moulin <guilhem@fripost.org>
Date: Sat, 6 Jul 2019 14:55:04 +0200
Subject: doc/*: Fix minor space damage.

Also, set tab size to 4 spaces in the HTML for consistency.
---
 doc/template.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/template.html')

diff --git a/doc/template.html b/doc/template.html
index a3a3938..2cd7cc9 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -19,6 +19,7 @@ $endif$
     span.smallcaps{font-variant: small-caps;}
     span.underline{text-decoration: underline;}
     div.column{display: inline-block; vertical-align: top; width: 50%;}
+    pre{tab-size: 4; -moz-tab-size: 4;}
     @media only screen and (min-width: 600px) {
       .parent {
         float: right;
-- 
cgit v1.2.3