From 454c0acbcff81c7eb0a68c3b931b2effbbcc7cc3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Sat, 25 Dec 2021 10:30:18 +0100
Subject: [PATCH] doc: fix color of preformatted text in docs

---
 doc/docinfo.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/docinfo.html b/doc/docinfo.html
index aaf22026b..d96336ff7 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -21,6 +21,7 @@
     --header-details-color: #aaa;
     --border: 1px solid #444;
     --code-bg-color: #252525;
+    --pre-color: #ddd;
     --pre-bg-color: #202020;
     --pre-code-bg-color: #202020;
     --keyseq-color: #777;
@@ -52,6 +53,7 @@
     --border: 1px solid #dddddf;
     --code-bg-color: #f7f7f8;
     --keyseq-color: #333c;
+    --pre-color: #353535;
     --pre-bg-color: #f7f7f8;
     --pre-code-bg-color: #202020;
     --kbd-bg-color: #f7f7f7;
@@ -134,6 +136,10 @@ code, .prettyprint {
   color: var(--body-color);
 }
 
+pre {
+  color: var(--pre-color) !important;
+}
+
 pre > code {
   background-color: var(--pre-code-bg-color) !important;
 }