From c3fd7e4e4424434e3993fda198ea3b6a457624ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Thu, 22 Aug 2024 19:08:42 +0200
Subject: [PATCH] doc: fix color of text with syntax highlighting and light
 theme

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

diff --git a/doc/docinfo.html b/doc/docinfo.html
index ee845ff42..02c9fb045 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -198,6 +198,10 @@ mark {
 
 /* syntax highlighting tuning */
 
+pre.pygments {
+  color: #ddd !important;
+}
+
 pre.pygments .tok-cp {
   color: #44cfaf;
 }