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;
 }