From ee96b9b8674796e0fee317878ee83a29a814e421 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Tue, 28 Dec 2021 23:34:38 +0100
Subject: [PATCH] doc: change pygments pre-processor color from red to
 green/cyan

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

diff --git a/doc/docinfo.html b/doc/docinfo.html
index d96336ff7..34d5f4667 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -196,7 +196,7 @@ mark {
 /* syntax highlighting tuning */
 
 pre.pygments .tok-cp {
-  color: #ed4848;
+  color: #44cfaf;
 }
 
 pre.pygments .tok-nc, pre.pygments .tok-nf {