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 {