From c8776b14f667f425baab2287a9bf7fca4bec349a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Sat, 27 Nov 2021 15:54:33 +0100
Subject: doc: switch from prettify to pygments for syntax highlighting

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

(limited to 'doc/docinfo.html')

diff --git a/doc/docinfo.html b/doc/docinfo.html
index 8020a1265..64bd9fcdd 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -35,4 +35,14 @@ kbd {
   margin: 0 .2em;
   font-family: monospace;
 }
+/* syntax highlighting tuning */
+pre.pygments .tok-cp {
+  color: #ed4848;
+}
+pre.pygments .tok-nc, pre.pygments .tok-nf {
+  color: #649fef;
+}
+pre.pygments .tok-gu, pre.pygments .tok-nc, pre.pygments .tok-nn {
+  text-decoration: none;
+}
 </style>
-- 
cgit v1.2.3