From dcebdd6a5591575b5c59bb1cefca1ed375d5083e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Sun, 22 Mar 2020 19:10:25 +0100
Subject: [PATCH] doc: fix font size in literal blocks

---
 doc/docinfo.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/docinfo.html b/doc/docinfo.html
index 45f4da560..fed2f0ad9 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -17,7 +17,6 @@ h1,h2,h3,h4,h5 {
 .literalblock pre {
   font-family: monospace, 'Courier New', Courier;
   line-height: normal;
-  font-size: .95em;
 }
 kbd {
   font-size: .9em;