From dc883341a13340c85b028ee16aa0963db6f47587 Mon Sep 17 00:00:00 2001
From: Guilhem Moulin <guilhem@fripost.org>
Date: Thu, 2 Jul 2020 03:45:56 +0200
Subject: HTML: Add background color to code snippets.

---
 doc/template.html | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/doc/template.html b/doc/template.html
index 0d497db..d825cde 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -19,10 +19,18 @@ $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;}
     table{width: 100%; margin-bottom: 3ex;}
     table > thead > tr.header > th{border-bottom: 2px solid #ddd; padding: 8px;}
     table > tbody > tr        > td{border-bottom: 1px solid #ddd; padding: 6px;}
+    pre {
+      padding: 16px;
+      font-size: 85%;
+      line-height: 1.45;
+      background-color: #f6f8fa;
+      border-radius: 6px;
+      tab-size: 4;
+      -moz-tab-size: 4;
+    }
     @media only screen and (min-width: 600px) {
       .parent {
         float: right;
-- 
cgit v1.2.3